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.
Foundations of Information and Knowledge Systems [[electronic resource] ] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / / edited by Christoph Beierle, Carlo Meghini
| Foundations of Information and Knowledge Systems [[electronic resource] ] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / / edited by Christoph Beierle, Carlo Meghini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 433 p. 95 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Computer science—Mathematics Computer logic Algorithms Artificial intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematics of Computing Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN | 3-319-04939-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Equational Approach to Contrary-to-duty Obligations -- A Survey of the Data Complexity of Consistent Query Answering under Key Constraints -- Regular Articles -- Arguments Using Ontological and Causal Knowledge -- Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases -- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings -- Enriching Taxonomies of Place Types Using Flickr -- Hintikka-Style Semantic Games for Fuzzy Logics -- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies -- Guard Independence and Constraint-Preserving Snapshot Isolation -- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model -- View-Based Tree-Language Rewritings for XML -- EHC: Non-parametric Editing by Finding Homogeneous Clusters -- A Logic for Specifying Stochastic Actions and Observations -- Belief Revision in Structured Probabilistic Argumentation -- A Multi-granular Database Model -- Optimizing Computation of Repairs from Active Integrity Constraints -- Belief Merging in Dynamic Logic of Propositional Assignments -- Incremental Maintenance of Aggregate Views -- Towards an Approximative Ontology-Agnostic Approach for Logic Programs. |
| Record Nr. | UNISA-996205176903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / / edited by Christoph Beierle, Carlo Meghini
| Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / / edited by Christoph Beierle, Carlo Meghini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 433 p. 95 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Computer science—Mathematics Computer logic Algorithms Artificial intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematics of Computing Algorithm Analysis and Problem Complexity Artificial Intelligence |
| ISBN | 3-319-04939-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Equational Approach to Contrary-to-duty Obligations -- A Survey of the Data Complexity of Consistent Query Answering under Key Constraints -- Regular Articles -- Arguments Using Ontological and Causal Knowledge -- Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases -- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings -- Enriching Taxonomies of Place Types Using Flickr -- Hintikka-Style Semantic Games for Fuzzy Logics -- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies -- Guard Independence and Constraint-Preserving Snapshot Isolation -- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model -- View-Based Tree-Language Rewritings for XML -- EHC: Non-parametric Editing by Finding Homogeneous Clusters -- A Logic for Specifying Stochastic Actions and Observations -- Belief Revision in Structured Probabilistic Argumentation -- A Multi-granular Database Model -- Optimizing Computation of Repairs from Active Integrity Constraints -- Belief Merging in Dynamic Logic of Propositional Assignments -- Incremental Maintenance of Aggregate Views -- Towards an Approximative Ontology-Agnostic Approach for Logic Programs. |
| Record Nr. | UNINA-9910484370703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information Search, Integration and Personalization : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers / / edited by Yuzuru Tanaka, Nicolas Spyratos, Tetsuya Yoshida, Carlo Meghini
| Information Search, Integration and Personalization : International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers / / edited by Yuzuru Tanaka, Nicolas Spyratos, Tetsuya Yoshida, Carlo Meghini |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 141 p. 47 illus.) |
| Disciplina | 005.7 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computers
Artificial intelligence Computers and civilization Information Systems and Communication Service Artificial Intelligence Computers and Society |
| ISBN | 3-642-40140-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge federation and integration -- Social system support and visualization -- Social information search and discovery. |
| Record Nr. | UNINA-9910437587703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Research and Advanced Technology for Digital Libraries [[electronic resource] ] : International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings / / edited by Stefan Gradmann, Francesca Borri, Carlo Meghini, Heiko Schuldt
| Research and Advanced Technology for Digital Libraries [[electronic resource] ] : International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings / / edited by Stefan Gradmann, Francesca Borri, Carlo Meghini, Heiko Schuldt |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XVI, 537 p. 141 illus., 105 illus. in color.) |
| 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 | 3-642-24469-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465391403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Research and advanced technology for digital libraries : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, proceedings / / Laszlo Kovacs, Norbert Fuhr, Carlo Meghini (editors)
| Research and advanced technology for digital libraries : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, proceedings / / Laszlo Kovacs, Norbert Fuhr, Carlo Meghini (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XVII, 588 p.) |
| Disciplina | 025.00285 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico | Digital libraries - Europe |
| ISBN | 3-540-74851-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontologies -- The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems -- Ontology-Based Question Answering for Digital Libraries -- Formalizing the Get-Specific Document Classification Algorithm -- Digital Libraries and the Web -- Trustworthiness Analysis of Web Search Results -- Improved Publication Scores for Online Digital Libraries Via Research Pyramids -- Key Element-Context Model: An Approach to Efficient Web Metadata Maintenance -- Models -- A Cooperative-Relational Approach to Digital Libraries -- Mind the (Intelligibility) Gap -- Using XML Logical Structure to Retrieve (Multimedia) Objects -- Multimedia and Multilingual DLs -- Lyrics-Based Audio Retrieval and Multimodal Navigation in Music Collections -- Automatic Identification of Music Works Through Audio Matching -- Roadmap for MultiLingual Information Access in the European Library -- Grid and Peer-to-Peer -- MinervaDL: An Architecture for Information Retrieval and Filtering in Distributed Digital Libraries -- A Grid-Based Infrastructure for Distributed Retrieval -- VIRGIL – Providing Institutional Access to a Repository of Access Grid Sessions -- Preservation -- Opening Schrödingers Library: Semi-automatic QA Reduces Uncertainty in Object Transformation -- Texts, Illustrations, and Physical Objects: The Case of Ancient Shipbuilding Treatises -- Trustworthy Digital Long-Term Repositories: The Nestor Approach in the Context of International Developments -- User Interfaces -- Providing Context-Sensitive Access to the Earth Observation Product Library -- T-Scroll: Visualizing Trends in a Time-Series of Documents for Interactive User Exploration -- Thesaurus-Based Feedback to Support Mixed Search and Browsing Environments -- Document Linking -- Named Entity Identification and Cyberinfrastructure -- Finding Related Papers in Literature Digital Libraries -- Extending Semantic Matching Towards Digital Library Contexts -- Information Retrieval -- Towards a Unified Approach Based on Affinity Graph to Various Multi-document Summarizations -- Large-Scale Clustering and Complete Facet and Tag Calculation -- Annotation-Based Document Retrieval with Probabilistic Logics -- Personal Information Management -- Evaluation of Visual Aid Suite for Desktop Searching -- Personal Environment Management -- Empirical Evaluation of Semi-automated XML Annotation of Text Documents with the GoldenGATE Editor -- New DL Applications -- Exploring Digital Libraries with Document Image Retrieval -- Know Thy Sensor: Trust, Data Quality, and Data Integrity in Scientific Digital Libraries -- Digital Libraries Without Databases: The Bleek and Lloyd Collection -- User Studies -- A Study of Citations in Users’ Online Personal Collections -- Investigating Document Triage on Paper and Electronic Media -- Motivating and Supporting User Interaction with Recommender Systems -- Panels -- On the Move Towards the European Digital Library: BRICKS, TEL, MICHAEL and DELOS Converging Experiences -- Digital Libraries in Central and Eastern Europe: Infrastructure Challenges for the New Europe -- Posters and Demos -- Electronic Work: Building Dynamic Services over Logical Structure Using Aqueducts for XML Processing -- A Model of Uncertainty for Near-Duplicates in Document Reference Networks -- Assessing Quality Dynamics in Unsupervised Metadata Extraction for Digital Libraries -- Bibliographical Meta Search Engine for the Retrieval of Scientific Articles -- In-Browser Digital Library Services -- Evaluating Digital Libraries with 5SQual -- Reducing Costs for Digitising Early Music with Dynamic Adaptation -- Supporting Information Management in Digital Libraries with Map-Based Interfaces -- Policy Decision Tree for Academic Digital Collections -- Personalized Faceted Browsing for Digital Libraries -- The Use of Metadata in Visual Interfaces to Digital Libraries -- Location and Format Independent Distributed Annotations for Collaborative Research -- NSDL MatDL: Adding Context to Bridge Materials e-Research and e-Education -- A Framework for the Generation of Transformation Templates -- MultiMatch – Multilingual/Multimedia Access to Cultural Heritage -- The Future of Large-Scale Evaluation Campaigns for Information Retrieval in Europe -- Digital 101: Public Exhibition System of the National Digital Archives Program, Taiwan -- aScience: A Thematic Network on Speech and Tactile Accessibility to Scientific Digital Resources -- PROBADO – A Generic Repository Integration Framework -- VCenter: A Digital Video Broadcast System of NDAP Taiwan -- Retrieving Tsunami Digital Library by Use of Mobile Phones -- Using Watermarks and Offline DRM to Protect Digital Images in DIAS -- CIDOC CRM in Action – Experiences and Challenges -- The Legal Environment of Digital Curation – A Question of Balance for the Digital Librarian -- Demonstration: Bringing Lives to Light: Browsing and Searching Biographical Information with a Metadata Infrastructure -- Repository Junction and Beyond at the EDINA (UK) National Data Centre -- A Scalable Data Management Tool to Support Epidemiological Modeling of Large Urban Regions -- Living Memory Annotation Tool – Image Annotations for Digital Libraries -- A User-Centred Approach to Metadata Design -- A Historic Documentation Repository for Specialized and Public Access -- Finding It on Google, Finding It on del.icio.us. -- DIGMAP – Discovering Our Past World with Digitised Maps -- Specification and Generation of Digital Libraries into DSpace Using the 5S Framework -- EOD - European Network of Libraries for eBooks on Demand -- Semantics and Pragmatics of Preference Queries in Digital Libraries -- Applications for Digital Libraries in Language Learning and the Professional Development of Teachers. |
| Record Nr. | UNINA-9910484991003321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Research and advanced technology for digital libraries : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, proceedings / / Laszlo Kovacs, Norbert Fuhr, Carlo Meghini (editors)
| Research and advanced technology for digital libraries : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, proceedings / / Laszlo Kovacs, Norbert Fuhr, Carlo Meghini (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XVII, 588 p.) |
| Disciplina | 025.00285 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico | Digital libraries - Europe |
| ISBN | 3-540-74851-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontologies -- The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems -- Ontology-Based Question Answering for Digital Libraries -- Formalizing the Get-Specific Document Classification Algorithm -- Digital Libraries and the Web -- Trustworthiness Analysis of Web Search Results -- Improved Publication Scores for Online Digital Libraries Via Research Pyramids -- Key Element-Context Model: An Approach to Efficient Web Metadata Maintenance -- Models -- A Cooperative-Relational Approach to Digital Libraries -- Mind the (Intelligibility) Gap -- Using XML Logical Structure to Retrieve (Multimedia) Objects -- Multimedia and Multilingual DLs -- Lyrics-Based Audio Retrieval and Multimodal Navigation in Music Collections -- Automatic Identification of Music Works Through Audio Matching -- Roadmap for MultiLingual Information Access in the European Library -- Grid and Peer-to-Peer -- MinervaDL: An Architecture for Information Retrieval and Filtering in Distributed Digital Libraries -- A Grid-Based Infrastructure for Distributed Retrieval -- VIRGIL – Providing Institutional Access to a Repository of Access Grid Sessions -- Preservation -- Opening Schrödingers Library: Semi-automatic QA Reduces Uncertainty in Object Transformation -- Texts, Illustrations, and Physical Objects: The Case of Ancient Shipbuilding Treatises -- Trustworthy Digital Long-Term Repositories: The Nestor Approach in the Context of International Developments -- User Interfaces -- Providing Context-Sensitive Access to the Earth Observation Product Library -- T-Scroll: Visualizing Trends in a Time-Series of Documents for Interactive User Exploration -- Thesaurus-Based Feedback to Support Mixed Search and Browsing Environments -- Document Linking -- Named Entity Identification and Cyberinfrastructure -- Finding Related Papers in Literature Digital Libraries -- Extending Semantic Matching Towards Digital Library Contexts -- Information Retrieval -- Towards a Unified Approach Based on Affinity Graph to Various Multi-document Summarizations -- Large-Scale Clustering and Complete Facet and Tag Calculation -- Annotation-Based Document Retrieval with Probabilistic Logics -- Personal Information Management -- Evaluation of Visual Aid Suite for Desktop Searching -- Personal Environment Management -- Empirical Evaluation of Semi-automated XML Annotation of Text Documents with the GoldenGATE Editor -- New DL Applications -- Exploring Digital Libraries with Document Image Retrieval -- Know Thy Sensor: Trust, Data Quality, and Data Integrity in Scientific Digital Libraries -- Digital Libraries Without Databases: The Bleek and Lloyd Collection -- User Studies -- A Study of Citations in Users’ Online Personal Collections -- Investigating Document Triage on Paper and Electronic Media -- Motivating and Supporting User Interaction with Recommender Systems -- Panels -- On the Move Towards the European Digital Library: BRICKS, TEL, MICHAEL and DELOS Converging Experiences -- Digital Libraries in Central and Eastern Europe: Infrastructure Challenges for the New Europe -- Posters and Demos -- Electronic Work: Building Dynamic Services over Logical Structure Using Aqueducts for XML Processing -- A Model of Uncertainty for Near-Duplicates in Document Reference Networks -- Assessing Quality Dynamics in Unsupervised Metadata Extraction for Digital Libraries -- Bibliographical Meta Search Engine for the Retrieval of Scientific Articles -- In-Browser Digital Library Services -- Evaluating Digital Libraries with 5SQual -- Reducing Costs for Digitising Early Music with Dynamic Adaptation -- Supporting Information Management in Digital Libraries with Map-Based Interfaces -- Policy Decision Tree for Academic Digital Collections -- Personalized Faceted Browsing for Digital Libraries -- The Use of Metadata in Visual Interfaces to Digital Libraries -- Location and Format Independent Distributed Annotations for Collaborative Research -- NSDL MatDL: Adding Context to Bridge Materials e-Research and e-Education -- A Framework for the Generation of Transformation Templates -- MultiMatch – Multilingual/Multimedia Access to Cultural Heritage -- The Future of Large-Scale Evaluation Campaigns for Information Retrieval in Europe -- Digital 101: Public Exhibition System of the National Digital Archives Program, Taiwan -- aScience: A Thematic Network on Speech and Tactile Accessibility to Scientific Digital Resources -- PROBADO – A Generic Repository Integration Framework -- VCenter: A Digital Video Broadcast System of NDAP Taiwan -- Retrieving Tsunami Digital Library by Use of Mobile Phones -- Using Watermarks and Offline DRM to Protect Digital Images in DIAS -- CIDOC CRM in Action – Experiences and Challenges -- The Legal Environment of Digital Curation – A Question of Balance for the Digital Librarian -- Demonstration: Bringing Lives to Light: Browsing and Searching Biographical Information with a Metadata Infrastructure -- Repository Junction and Beyond at the EDINA (UK) National Data Centre -- A Scalable Data Management Tool to Support Epidemiological Modeling of Large Urban Regions -- Living Memory Annotation Tool – Image Annotations for Digital Libraries -- A User-Centred Approach to Metadata Design -- A Historic Documentation Repository for Specialized and Public Access -- Finding It on Google, Finding It on del.icio.us. -- DIGMAP – Discovering Our Past World with Digitised Maps -- Specification and Generation of Digital Libraries into DSpace Using the 5S Framework -- EOD - European Network of Libraries for eBooks on Demand -- Semantics and Pragmatics of Preference Queries in Digital Libraries -- Applications for Digital Libraries in Language Learning and the Professional Development of Teachers. |
| Record Nr. | UNISA-996465743103316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||