Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automated Reasoning [[electronic resource] ] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani
| Automated Reasoning [[electronic resource] ] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 724 p. 128 illus.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Algorithms Software engineering Programming languages (Electronic computers) Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-319-94205-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Assumption-Based Approach for Solving The Minimal S5-Satisfiability Problem -- FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics -- Superposition for Lambda-Free Higher-Order Logic -- Automated Reasoning about Key Sets -- A Tableaux Calculus for Reducing Proof Size -- FORT 2.0 -- Formalizing Bachmair and Ganzinger's Ordered Resolution Prover -- The Higher-Order Prover Leo-III -- Well-Founded Unions -- Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories -- Cubicle-W: Parameterized Model Checking on Weak Memory -- QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property -- A Why3 framework for reflection proofs and its application to GMP's algorithms -- Infinitely-valued Logic -- Uniform Substitution for Differential Game Logic -- A Logical Framework with Commutative and Non-Commutative Subexponentials -- Exploring Approximations for Floating-Point Arithmetic using UppSAT -- Complexity of Combinations of Qualitative Constraint Satisfaction Problems -- A Generic Framework for Implicate Generation Modulo Theories -- A Coinductive Approach to Proving Reachability in Logically Constrained Term Rewriting Systems -- A New Probabilistic Algorithm for Approximate Model Counting -- A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems -- Cops and CoCoWeb: Infrastructure for Conuence Tools -- Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing -- Superposition with Datatypes and Codatatypes -- Efficient encodings of first-order Horn formulas in equational logic -- A FOOLish Encoding of the Next State Relations of Imperative Programs -- Constructive Decision via Redundancy-free Proof-Search -- Deciding the First-Order Theory of an Algebra of Feature Trees with Updates -- A Separation Logic with Data: Small Models and Automation -- MaedMax: A Maximal Ordered Completion Tool -- From Syntactic Proofs to Combinatorial Proofs -- A Resolution-Based Calculus for Preferential Logics -- Extended Resolution Simulates DRAT -- Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle -- Efficient Interpolation for the Theory of Arrays -- ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback -- Theories as Types -- Datatypes with Shared Selectors -- Enumerating Justifications using Resolution -- A SAT-Based Approach to Learn Explainable Decision Sets -- Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions -- An abstraction-refinement framework for reasoning with large theories -- Efficient Model Construction for Horn Logic with VLog: System Description -- Focussing, MALL and the polynomial hierarchy -- Checking Array Bounds by Abstract Interpretation and Symbolic Expressions. |
| Record Nr. | UNINA-9910349422303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning [[electronic resource] ] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani
| Automated Reasoning [[electronic resource] ] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 724 p. 128 illus.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Algorithms Software engineering Programming languages (Electronic computers) Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-319-94205-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Assumption-Based Approach for Solving The Minimal S5-Satisfiability Problem -- FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics -- Superposition for Lambda-Free Higher-Order Logic -- Automated Reasoning about Key Sets -- A Tableaux Calculus for Reducing Proof Size -- FORT 2.0 -- Formalizing Bachmair and Ganzinger's Ordered Resolution Prover -- The Higher-Order Prover Leo-III -- Well-Founded Unions -- Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories -- Cubicle-W: Parameterized Model Checking on Weak Memory -- QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property -- A Why3 framework for reflection proofs and its application to GMP's algorithms -- Infinitely-valued Logic -- Uniform Substitution for Differential Game Logic -- A Logical Framework with Commutative and Non-Commutative Subexponentials -- Exploring Approximations for Floating-Point Arithmetic using UppSAT -- Complexity of Combinations of Qualitative Constraint Satisfaction Problems -- A Generic Framework for Implicate Generation Modulo Theories -- A Coinductive Approach to Proving Reachability in Logically Constrained Term Rewriting Systems -- A New Probabilistic Algorithm for Approximate Model Counting -- A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems -- Cops and CoCoWeb: Infrastructure for Conuence Tools -- Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing -- Superposition with Datatypes and Codatatypes -- Efficient encodings of first-order Horn formulas in equational logic -- A FOOLish Encoding of the Next State Relations of Imperative Programs -- Constructive Decision via Redundancy-free Proof-Search -- Deciding the First-Order Theory of an Algebra of Feature Trees with Updates -- A Separation Logic with Data: Small Models and Automation -- MaedMax: A Maximal Ordered Completion Tool -- From Syntactic Proofs to Combinatorial Proofs -- A Resolution-Based Calculus for Preferential Logics -- Extended Resolution Simulates DRAT -- Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle -- Efficient Interpolation for the Theory of Arrays -- ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback -- Theories as Types -- Datatypes with Shared Selectors -- Enumerating Justifications using Resolution -- A SAT-Based Approach to Learn Explainable Decision Sets -- Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions -- An abstraction-refinement framework for reasoning with large theories -- Efficient Model Construction for Horn Logic with VLog: System Description -- Focussing, MALL and the polynomial hierarchy -- Checking Array Bounds by Abstract Interpretation and Symbolic Expressions. |
| Record Nr. | UNISA-996466437703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of Combining Systems [[electronic resource] ] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / / edited by Silvio Ghilardi, Roberto Sebastiani
| Frontiers of Combining Systems [[electronic resource] ] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / / edited by Silvio Ghilardi, Roberto Sebastiani |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 383 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Mathematical logic Computer logic Software engineering Algorithms Artificial Intelligence Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma |
Kongress.
Trient (2009) |
| ISBN | 3-642-04222-8 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Building SMT-Based Software Model Checkers: An Experience Report -- Combining Nonmonotonic Knowledge Bases with External Sources -- Combining Description Logics, Description Graphs, and Rules -- Combining Equational Reasoning -- Technical Papers -- Superposition Modulo Linear Arithmetic SUP(LA) -- Unification Modulo Homomorphic Encryption -- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs -- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles -- Runtime Verification Using a Temporal Description Logic -- Axiomatization and Completeness of Lexicographic Products of Modal Logics -- Automating Theories in Intuitionistic Logic -- Taming the Complexity of Temporal Epistemic Reasoning -- Putting ABox Updates into Action -- A Declarative Agent Programming Language Based on Action Theories -- Termination Modulo Combinations of Equational Theories -- Combinations of Theories for Decidable Fragments of First-Order Logic -- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property -- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme -- Combining Instance Generation and Resolution -- Data Structures with Arithmetic Constraints: A Non-disjoint Combination -- Efficient Combination of Decision Procedures for MUS Computation -- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas -- Combining Theories with Shared Set Operations. |
| Record Nr. | UNISA-996465634903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of Combining Systems [[electronic resource] ] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / / edited by Silvio Ghilardi, Roberto Sebastiani
| Frontiers of Combining Systems [[electronic resource] ] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / / edited by Silvio Ghilardi, Roberto Sebastiani |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 383 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Mathematical logic Computer logic Software engineering Algorithms Artificial Intelligence Theory of Computation Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma |
Kongress.
Trient (2009) |
| ISBN | 3-642-04222-8 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Building SMT-Based Software Model Checkers: An Experience Report -- Combining Nonmonotonic Knowledge Bases with External Sources -- Combining Description Logics, Description Graphs, and Rules -- Combining Equational Reasoning -- Technical Papers -- Superposition Modulo Linear Arithmetic SUP(LA) -- Unification Modulo Homomorphic Encryption -- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs -- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles -- Runtime Verification Using a Temporal Description Logic -- Axiomatization and Completeness of Lexicographic Products of Modal Logics -- Automating Theories in Intuitionistic Logic -- Taming the Complexity of Temporal Epistemic Reasoning -- Putting ABox Updates into Action -- A Declarative Agent Programming Language Based on Action Theories -- Termination Modulo Combinations of Equational Theories -- Combinations of Theories for Decidable Fragments of First-Order Logic -- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property -- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme -- Combining Instance Generation and Resolution -- Data Structures with Arithmetic Constraints: A Non-disjoint Combination -- Efficient Combination of Decision Procedures for MUS Computation -- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas -- Combining Theories with Shared Set Operations. |
| Record Nr. | UNINA-9910484731103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Research and Advanced Technology for Digital Libraries [[electronic resource] ] : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings / / edited by Mounia Lalmas, Joemon Jose, Andreas Rauber, Roberto Sebastiani, Ingo Frommholz
| Research and Advanced Technology for Digital Libraries [[electronic resource] ] : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings / / edited by Mounia Lalmas, Joemon Jose, Andreas Rauber, Roberto Sebastiani, Ingo Frommholz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXII, 573 p. 140 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Database management Information storage and retrieval Data mining Multimedia information systems Natural language processing (Computer science) Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval Data Mining and Knowledge Discovery Multimedia Information Systems Natural Language Processing (NLP) |
| ISBN |
1-280-38865-X
9786613566577 3-642-15464-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- System Architectures -- Modelling Digital Libraries Based on Logic -- General-Purpose Digital Library Content Laboratory Systems -- Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure -- Metadata -- Uncovering Hidden Qualities – Benefits of Quality Measures for Automatically Generated Metadata -- Query Transformation in a CIDOC CRM Based Cultural Metadata Integration Environment -- User-Contributed Descriptive Metadata for Libraries and Cultural Institutions -- Multimedia IR -- An Approach to Content-Based Image Retrieval Based on the Lucene Search Engine Library -- Evaluation Constructs for Visual Video Summaries -- Visual Expression for Organizing and Accessing Music Collections in MusicWiz -- Interaction and Interoperability -- An Architecture for Supporting RFID-Enhanced Interactions in Digital Libraries -- New Evidence on the Interoperability of Information Systems within UK Universities -- Enhancing Digital Libraries with Social Navigation: The Case of Ensemble -- Digital Preservation -- Automating Logical Preservation for Small Institutions with Hoppla -- Estimating Digitization Costs in Digital Libraries Using DiCoMo -- In Pursuit of an Expressive Vocabulary for Preserved New Media Art -- Social Web/Web 2.0 -- Privacy-Aware Folksonomies -- Seamless Web Editing for Curated Content -- Automatic Classification of Social Tags -- Search in Digital Libraries -- Exploring the Impact of Search Interface Features on Search Tasks -- Relevance in Technicolor -- Application of Session Analysis to Search Interface Design -- (Meta) Analysis of Digital Libraries -- An Analysis of the Evolving Coverage of Computer Science Sub-fields in the DBLP Digital Library -- Analysis of Computer Science Communities Based on DBLP -- Citation Graph Based Ranking in Invenio -- Query Log Analysis -- A Search Log-Based Approach to Evaluation -- Determining Time of Queries for Re-ranking Search Results -- Ranking Entities Using Web Search Query Logs -- Cooperative Work in DLs -- Examining Group Work: Implications for the Digital Library as Sharium -- Architecture for a Collaborative Research Environment Based on Reading List Sharing -- CritSpace: A Workspace for Critical Engagement within Cultural Heritage Digital Libraries -- Ontologies -- German Encyclopedia Alignment Based on Information Retrieval Techniques -- Lightweight Parsing of Classifications into Lightweight Ontologies -- Measuring Effectiveness of Geographic IR Systems in Digital Libraries -- Domain-Specific DLs -- A Visual Digital Library Approach for Time-Oriented Scientific Primary Data -- DINAH, A Philological Platform for the Construction of Multi-structured Documents -- The PROBADO Project - Approach and Lessons Learned in Building a Digital Library System for Heterogeneous Non-textual Documents -- Posters -- Capacity-Constrained Query Formulation -- AAT-Taiwan: Toward a Multilingual Access to Cultural Objects -- Using Pattern Language as a Framework for Future Metadata Structure -- i-TEL-u: A Query Suggestion Tool for Integrating Heterogeneous Contexts in a Digital Library -- The Planets Testbed -- A Functionality Perspective on Digital Library Interoperability -- Overview and Results of the INEX 2009 Interactive Track -- SciPlore Xtract: Extracting Titles from Scientific PDF Documents by Analyzing Style Information (Font Size) -- Academic Publication Management with PUMA – Collect, Organize and Share Publications -- Using Mind Maps to Model Semistructured Documents -- Towards a Public Library Digital Service Taxonomy -- Multimodal Image Collection Visualization Using Non-negative Matrix Factorization -- A New Perspective on Collection Selection -- Creating a Flexible Preservation Infrastructure for Electronic Records -- Matching Intellectual Works for Rights Management in the European Library -- Mopseus – A Digital Library Management System Focused on Preservation -- Link Proximity Analysis - Clustering Websites by Examining Link Proximity -- SliDL: A Slide Digital Library Supporting Content Reuse in Presentations -- Metadata Impact on Research Paper Similarity -- Exploring the Influence of Tagging Motivation on Tagging Behavior -- A Teaching Tool for Parasitology: Enhancing Learning with Annotation and Image Retrieval -- Framework for Logging and Exploiting the Information Retrieval Dialog -- Defining the Dynamicity and Diversity of Text Collections -- Manuzio: A Model for Digital Annotated Text and Its Query/Programming Language -- Effective Term Weighting for Sentence Retrieval -- User-Oriented Evaluation of Color Descriptors for Web Image Retrieval -- A Topic-Specific Web Search System Focusing on Quality Pages -- Reliable Preservation of Interactive Environments and Workflows -- Automated Country Name Disambiguation for Code Set Alignment -- LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit -- Ensemble: A Distributed Portal for the Distributed Community of Computing Education -- A New Focus on End Users: Eye-Tracking Analysis for Digital Libraries -- Digital Library Educational Module Development Strategies and Sustainable Enhancement by the Community -- Demos -- Approach to Cross-Language Retrieval for Japanese Traditional Fine Art: Ukiyo-e Database -- Open Source Historical OCR: The OCRopodium Project -- A Voice-Oriented Image Cataloguing Environment -- DMP Online: A Demonstration of the Digital Curation Centre’s Web-Based Tool for Creating, Maintaining and Exporting Data Management Plans -- DiLiA – The Digital Library Assistant -- Xeproc©: A Model-Based Approach towards Document Process Preservation -- A Prototype Personalization System for the European Library Portal -- Meta-Composer: Synthesizing Online FRBR Works from Library Resources -- Digital Library in a 3D Virtual World: The Digital Bleek and Lloyd Collection in Second Life. |
| Record Nr. | UNINA-9910484655303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Research and Advanced Technology for Digital Libraries [[electronic resource] ] : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings / / edited by Mounia Lalmas, Joemon Jose, Andreas Rauber, Roberto Sebastiani, Ingo Frommholz
| Research and Advanced Technology for Digital Libraries [[electronic resource] ] : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings / / edited by Mounia Lalmas, Joemon Jose, Andreas Rauber, Roberto Sebastiani, Ingo Frommholz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXII, 573 p. 140 illus.) |
| Disciplina | 005.7 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Database management Information storage and retrieval Data mining Multimedia information systems Natural language processing (Computer science) Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval Data Mining and Knowledge Discovery Multimedia Information Systems Natural Language Processing (NLP) |
| ISBN |
1-280-38865-X
9786613566577 3-642-15464-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- Keynote: The Web Changes Everything: Understanding and Supporting People in Dynamic Information Environments -- System Architectures -- Modelling Digital Libraries Based on Logic -- General-Purpose Digital Library Content Laboratory Systems -- Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure -- Metadata -- Uncovering Hidden Qualities – Benefits of Quality Measures for Automatically Generated Metadata -- Query Transformation in a CIDOC CRM Based Cultural Metadata Integration Environment -- User-Contributed Descriptive Metadata for Libraries and Cultural Institutions -- Multimedia IR -- An Approach to Content-Based Image Retrieval Based on the Lucene Search Engine Library -- Evaluation Constructs for Visual Video Summaries -- Visual Expression for Organizing and Accessing Music Collections in MusicWiz -- Interaction and Interoperability -- An Architecture for Supporting RFID-Enhanced Interactions in Digital Libraries -- New Evidence on the Interoperability of Information Systems within UK Universities -- Enhancing Digital Libraries with Social Navigation: The Case of Ensemble -- Digital Preservation -- Automating Logical Preservation for Small Institutions with Hoppla -- Estimating Digitization Costs in Digital Libraries Using DiCoMo -- In Pursuit of an Expressive Vocabulary for Preserved New Media Art -- Social Web/Web 2.0 -- Privacy-Aware Folksonomies -- Seamless Web Editing for Curated Content -- Automatic Classification of Social Tags -- Search in Digital Libraries -- Exploring the Impact of Search Interface Features on Search Tasks -- Relevance in Technicolor -- Application of Session Analysis to Search Interface Design -- (Meta) Analysis of Digital Libraries -- An Analysis of the Evolving Coverage of Computer Science Sub-fields in the DBLP Digital Library -- Analysis of Computer Science Communities Based on DBLP -- Citation Graph Based Ranking in Invenio -- Query Log Analysis -- A Search Log-Based Approach to Evaluation -- Determining Time of Queries for Re-ranking Search Results -- Ranking Entities Using Web Search Query Logs -- Cooperative Work in DLs -- Examining Group Work: Implications for the Digital Library as Sharium -- Architecture for a Collaborative Research Environment Based on Reading List Sharing -- CritSpace: A Workspace for Critical Engagement within Cultural Heritage Digital Libraries -- Ontologies -- German Encyclopedia Alignment Based on Information Retrieval Techniques -- Lightweight Parsing of Classifications into Lightweight Ontologies -- Measuring Effectiveness of Geographic IR Systems in Digital Libraries -- Domain-Specific DLs -- A Visual Digital Library Approach for Time-Oriented Scientific Primary Data -- DINAH, A Philological Platform for the Construction of Multi-structured Documents -- The PROBADO Project - Approach and Lessons Learned in Building a Digital Library System for Heterogeneous Non-textual Documents -- Posters -- Capacity-Constrained Query Formulation -- AAT-Taiwan: Toward a Multilingual Access to Cultural Objects -- Using Pattern Language as a Framework for Future Metadata Structure -- i-TEL-u: A Query Suggestion Tool for Integrating Heterogeneous Contexts in a Digital Library -- The Planets Testbed -- A Functionality Perspective on Digital Library Interoperability -- Overview and Results of the INEX 2009 Interactive Track -- SciPlore Xtract: Extracting Titles from Scientific PDF Documents by Analyzing Style Information (Font Size) -- Academic Publication Management with PUMA – Collect, Organize and Share Publications -- Using Mind Maps to Model Semistructured Documents -- Towards a Public Library Digital Service Taxonomy -- Multimodal Image Collection Visualization Using Non-negative Matrix Factorization -- A New Perspective on Collection Selection -- Creating a Flexible Preservation Infrastructure for Electronic Records -- Matching Intellectual Works for Rights Management in the European Library -- Mopseus – A Digital Library Management System Focused on Preservation -- Link Proximity Analysis - Clustering Websites by Examining Link Proximity -- SliDL: A Slide Digital Library Supporting Content Reuse in Presentations -- Metadata Impact on Research Paper Similarity -- Exploring the Influence of Tagging Motivation on Tagging Behavior -- A Teaching Tool for Parasitology: Enhancing Learning with Annotation and Image Retrieval -- Framework for Logging and Exploiting the Information Retrieval Dialog -- Defining the Dynamicity and Diversity of Text Collections -- Manuzio: A Model for Digital Annotated Text and Its Query/Programming Language -- Effective Term Weighting for Sentence Retrieval -- User-Oriented Evaluation of Color Descriptors for Web Image Retrieval -- A Topic-Specific Web Search System Focusing on Quality Pages -- Reliable Preservation of Interactive Environments and Workflows -- Automated Country Name Disambiguation for Code Set Alignment -- LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit -- Ensemble: A Distributed Portal for the Distributed Community of Computing Education -- A New Focus on End Users: Eye-Tracking Analysis for Digital Libraries -- Digital Library Educational Module Development Strategies and Sustainable Enhancement by the Community -- Demos -- Approach to Cross-Language Retrieval for Japanese Traditional Fine Art: Ukiyo-e Database -- Open Source Historical OCR: The OCRopodium Project -- A Voice-Oriented Image Cataloguing Environment -- DMP Online: A Demonstration of the Digital Curation Centre’s Web-Based Tool for Creating, Maintaining and Exporting Data Management Plans -- DiLiA – The Digital Library Assistant -- Xeproc©: A Model-Based Approach towards Document Process Preservation -- A Prototype Personalization System for the European Library Portal -- Meta-Composer: Synthesizing Online FRBR Works from Library Resources -- Digital Library in a 3D Virtual World: The Digital Bleek and Lloyd Collection in Second Life. |
| Record Nr. | UNISA-996465700803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Applications of Satisfiability Testing -- SAT 2012 [[electronic resource] ] : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings / / edited by Alessandro Cimatti, Roberto Sebastiani
| Theory and Applications of Satisfiability Testing -- SAT 2012 [[electronic resource] ] : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings / / edited by Alessandro Cimatti, Roberto Sebastiani |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 500 p. 364 illus.) |
| Disciplina | 005.1/4 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Artificial intelligence Computer science—Mathematics Computer Science Logic and Foundations of Programming Theory of Computation Formal Languages and Automata Theory Artificial Intelligence Mathematical Applications in Computer Science |
| ISBN | 3-642-31612-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465385003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||