ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium [[electronic resource] ] : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / / edited by Ladjel Bellatreche, Mária Bieliková, Omar Boussaïd, Barbara Catania, Jérôme Darmont, Elena Demidova, Fabien Duchateau, Mark Hall, Tanja Merčun, Boris Novikov, Christos Papatheodorou, Thomas Risse, Oscar Romero, Lucile Sautot, Guilaine Talens, Robert Wrembel, Maja Žumer |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 370 p. 28 illus.) |
Disciplina | 005.74 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Database management
Artificial intelligence Application software Computers Data structures (Computer science) Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Applications Theory of Computation Data Structures and Information Theory |
ISBN | 3-030-55814-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1st Workshop on Intelligent Data - From Data to Knowledge (DOING 2020) -- 2nd Workshop on Modern Approaches in Data Engineering and Information System Design (MADEISD 2020) -- 1st Workshop on Scientic Knowledge Graphs (SKG 2020) -- 2nd Workshop of BI & Big Data Applications (BBIGAP 2020) -- International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2020) -- The 1st International Workshop on Assessing Impact and Merit in Science (AIMinScience 2020) -- Doctoral Consortium. |
Record Nr. | UNISA-996465452403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium : International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / / edited by Ladjel Bellatreche, Mária Bieliková, Omar Boussaïd, Barbara Catania, Jérôme Darmont, Elena Demidova, Fabien Duchateau, Mark Hall, Tanja Merčun, Boris Novikov, Christos Papatheodorou, Thomas Risse, Oscar Romero, Lucile Sautot, Guilaine Talens, Robert Wrembel, Maja Žumer |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 370 p. 28 illus.) |
Disciplina | 005.74 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Database management
Artificial intelligence Application software Computers Data structures (Computer science) Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Computer Applications Theory of Computation Data Structures and Information Theory |
ISBN | 3-030-55814-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1st Workshop on Intelligent Data - From Data to Knowledge (DOING 2020) -- 2nd Workshop on Modern Approaches in Data Engineering and Information System Design (MADEISD 2020) -- 1st Workshop on Scientic Knowledge Graphs (SKG 2020) -- 2nd Workshop of BI & Big Data Applications (BBIGAP 2020) -- International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2020) -- The 1st International Workshop on Assessing Impact and Merit in Science (AIMinScience 2020) -- Doctoral Consortium. |
Record Nr. | UNINA-9910416081603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Databases and Information Systems [[electronic resource] ] : 15th International Conference, ADBIS 2011, Vienna, Austria, September 20-23, 2011, Proceedings / / edited by Johann Eder, Mária Bieliková, A Min Tjoa |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIII, 462 p.) |
Disciplina | 005.74 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Database management
Application software Information storage and retrieval Computer communication systems Data mining Management information systems Computer science Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Data Mining and Knowledge Discovery Management of Computing and Information Systems |
ISBN | 3-642-23737-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465894203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Semantic Acquisition Games : Harnessing Manpower for Creating Semantics / / by Jakub Šimko, Mária Bieliková |
Autore | Šimko Jakub |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (143 p.) |
Disciplina |
004
005.437 005.7 401.93 |
Soggetto topico |
User interfaces (Computer systems)
Application software User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) |
ISBN | 3-319-06115-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part I Games for Semantics Acquisition -- State-of-the-art: semantics acquisition and crowdsourcing -- State-of-the-art: Semantics Acquisition Games -- Little Search Game: lightweight domain modeling -- PexAce: a method for image metadata acquisition -- CityLights: a method for music metadata validation -- Part II Designing the Semantics Acquisition Games -- State-of-the-art: design of the semantics acquisition games -- Our SAGs: design aspects and improvements -- Looking Ahead. |
Record Nr. | UNINA-9910298567703321 |
Šimko Jakub | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
SOFSEM 2004: Theory and Practice of Computer Science [[electronic resource] ] : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 / / edited by Peter Van Emde Boas, Jaroslav Pokorny, Mária Bieliková, Julius Stuller |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XIII, 385 p.) |
Disciplina | 005.4/465 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Algorithms Computer logic Database management Application software Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Database Management Information Systems Applications (incl. Internet) |
ISBN |
1-280-30664-5
9786610306640 3-540-24618-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Games, Theory and Applications -- Database Research Issues in a WWW and GRIDs World -- Integration, Diffusion, and Merging in Information Management Discipline -- Flexibility through Multiagent Systems: Solution or Illusion? -- World Wide Web Challenges: Supporting Users in Search and Navigation -- Querying and Viewing the Semantic Web: An RDF-Based Perspective -- Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems -- Algorithms for Scalable Storage Servers -- Fuzzy Unification and Argumentation for Well-Founded Semantics -- Tree Signatures and Unordered XML Pattern Matching -- Regular Papers -- Quantum Query Complexity for Some Graph Problems -- A Model of Versioned Web Sites -- Design of Secure Multicast Models for Mobile Services -- Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints -- Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances -- Validity Conditions in Agreement Problems and Time Complexity -- Supporting Evolution in Workflow Definition Languages -- Clustered Level Planarity -- Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds – Combining Information Theoretical and Supervised Pattern Recognition Approaches -- Features of Neighbors Spaces -- Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning -- Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks -- Processing XPath Expressions in Relational Databases -- An Embedded Language Approach to Router Specification in Curry -- Multi-document Automatic Text Summarization Using Entropy Estimates -- Implicit Flow Maximization by Iterative Squaring -- Evolving Constructors for Infinitely Growing Sorting Networks and Medians -- Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts -- Theory of One Tape Linear Time Turing Machines -- Avoiding Forbidden Submatrices by Row Deletions -- Building a Bridge between Mirror Neurons and Theory of Embodied Cognition -- The Best Student Paper -- Fully Truthful Mechanisms. |
Record Nr. | UNISA-996465906003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
SOFSEM 2004: Theory and Practice of Computer Science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 / / edited by Peter Van Emde Boas, Jaroslav Pokorny, Mária Bieliková, Julius Stuller |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XIII, 385 p.) |
Disciplina | 005.4/465 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Algorithms Computer logic Database management Application software Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Database Management Information Systems Applications (incl. Internet) |
ISBN |
1-280-30664-5
9786610306640 3-540-24618-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Games, Theory and Applications -- Database Research Issues in a WWW and GRIDs World -- Integration, Diffusion, and Merging in Information Management Discipline -- Flexibility through Multiagent Systems: Solution or Illusion? -- World Wide Web Challenges: Supporting Users in Search and Navigation -- Querying and Viewing the Semantic Web: An RDF-Based Perspective -- Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems -- Algorithms for Scalable Storage Servers -- Fuzzy Unification and Argumentation for Well-Founded Semantics -- Tree Signatures and Unordered XML Pattern Matching -- Regular Papers -- Quantum Query Complexity for Some Graph Problems -- A Model of Versioned Web Sites -- Design of Secure Multicast Models for Mobile Services -- Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints -- Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances -- Validity Conditions in Agreement Problems and Time Complexity -- Supporting Evolution in Workflow Definition Languages -- Clustered Level Planarity -- Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds – Combining Information Theoretical and Supervised Pattern Recognition Approaches -- Features of Neighbors Spaces -- Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning -- Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks -- Processing XPath Expressions in Relational Databases -- An Embedded Language Approach to Router Specification in Curry -- Multi-document Automatic Text Summarization Using Entropy Estimates -- Implicit Flow Maximization by Iterative Squaring -- Evolving Constructors for Infinitely Growing Sorting Networks and Medians -- Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts -- Theory of One Tape Linear Time Turing Machines -- Avoiding Forbidden Submatrices by Row Deletions -- Building a Bridge between Mirror Neurons and Theory of Embodied Cognition -- The Best Student Paper -- Fully Truthful Mechanisms. |
Record Nr. | UNINA-9910144209103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
SOFSEM 2006: Theory and Practice of Computer Science [[electronic resource] ] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XVI, 580 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer networks Software engineering Database management Information storage and retrieval systems Application software Theory of Computation Computer Communication Networks Software Engineering Database Management Information Storage and Retrieval Computer and Information Systems Applications |
ISBN | 3-540-32217-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- How Can Nature Help Us Compute? -- Evolving Ontology Evolution -- A Formal Comparison of Visual Web Wrapper Generators -- Beyond the Horizon: Planning Future European ICT R&D -- Selfish Routing in Networks -- New Physics and Hypercomputation -- Models and Algorithms for Wireless Sensor Networks (Smart Dust) -- SomeWhere in the Semantic Web -- Mobility in Wireless Networks -- Group Communication: From Practice to Theory -- Regular Papers -- A General Data Reduction Scheme for Domination in Graphs -- Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources -- Non-intersecting Complexity -- Constructing Interference-Minimal Networks -- Matching Points with Rectangles and Squares -- Searching Paths of Constant Bandwidth -- Graph Searching and Search Time -- Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic -- Simple Algorithm for Sorting the Fibonacci String Rotations -- Oriented Coloring: Complexity and Approximation -- nonblocker: Parameterized Algorithmics for minimum dominating set -- Quantum Finite Automata and Logics -- FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks -- Roman Domination: A Parameterized Perspective -- Sedna: A Native XML DBMS -- Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring -- The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies -- Complexity and Exact Algorithms for Multicut -- Using Extensible Heterogeneous Database Transformers -- P-Selectivity, Immunity, and the Power of One Bit -- Transparent Migration of Database Services -- Merging and Merge-Sort in a Single Hop Radio Network -- On Optimal and Efficient in Place Merging -- A Personalized Recommendation System Based on PRML for E-Commerce -- An Efficient Index Scheme for XML Databases -- On Separating Constant from Polynomial Ambiguity of Finite Automata -- Reliable Broadcasting Without Collision Detection -- Semi-strong Static Type Checking of Object-Oriented Query Languages -- Building a Fuzzy Transformation System -- News Generating Via Fuzzy Summarization of Databases -- Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis -- Automatic Distribution of Sequential Code Using JavaSymphony Middleware -- Unifying Framework for Message Passing -- Heuristics on the Definition of UML Refinement Patterns -- The Complexity of Problems on Implicitly Represented Inputs -- How Many Dots Are Really Needed for Head-Driven Chart Parsing? -- Ontology Acquisition for Automatic Building of Scientific Portals -- Improved ROCK for Text Clustering Using Asymmetric Proximity -- Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet -- Computational Complexity of Relay Placement in Sensor Networks -- On the NP-Completeness of Some Graph Cluster Measures -- A Flexible Policy Architecture for Mobile Agents -- An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority -- Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three -- The Best Student Paper -- Level-of-Detail in Behaviour of Virtual Humans. |
Record Nr. | UNISA-996465594103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|