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.
Advances in Database Technology - EDBT 2002 [[electronic resource] ] : 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings / / edited by Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorny, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke
| Advances in Database Technology - EDBT 2002 [[electronic resource] ] : 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings / / edited by Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorny, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XVI, 784 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Application software Information storage and retrieval Computer communication systems Management information systems Computer science Data Structures and Information Theory Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-540-45876-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Hyperdatabases: Infrastructure for the Information Space -- DAML+OIL: A Reason-able Web Ontology Language -- Ambient Intelligence: Plenty of Challenges by 2010 -- Query Transformation -- An Approach to Integrating Query Refinement in SQL -- Querying with Intrinsic Preferences -- Rewriting Unions of General Conjunctive Queries Using Views -- Data Mining -- Profit Mining: From Patterns to Actions -- Cut-and-Pick Transactions for Proxy Log Mining -- Composition of Mining Contexts for Efficient Extraction of Association Rules -- XML -- Designing Functional Dependencies for XML -- On Efficient Matching of Streaming XML Documents and Queries -- Efficient Complex Query Support for Multiversion XML Documents -- Advanced Query Processing -- Approximate Processing of Multiway Spatial Joins in Very Large Databases -- Indexing Values in Continuous Field Databases -- Efficient and Adaptive Processing of Multiple Continuous Queries -- Moving Objects -- The Geometry of Uncertainty in Moving Objects Databases -- Efficient Indexing of Spatiotemporal Objects -- Dynamic Queries over Mobile Objects -- Industrial and Applications Track—I -- Semantic Analysis of Business Process Executions -- An Introduction to the e-XML Data Integration Suite -- Spatio-temporal Information Systems in a Statistical Context -- Distributed Data -- A Systematic Approach to Selecting Maintenance Policies in a Data Warehouse Environment -- Efficient OLAP Query Processing in Distributed Data Warehouses -- Incremental Maintenance of Schema-Restructuring Views -- Distributed Processing -- Coupling of FDBS and WfMS for Integrating Database and Application Systems: Architecture, Complexity, Performance -- Optimizing Scientific Databases for Client Side Data Processing -- Supporting Efficient Parametric Search of E-Commerce Data: A Loosely-Coupled Solution -- Advanced Querying -- Divide-and-Conquer Algorithm for Computing Set Containment Joins -- Universal Quantification in Relational Databases: A Classification of Data and Algorithms -- Efficient Algorithms for Mining Inclusion Dependencies -- XML—Advanced Querying -- The Index-Based XXL Search Engine for Querying XML Data with Relevance Ranking -- Tree Pattern Relaxation -- Schema-Driven Evaluation of Approximate Tree-Pattern Queries -- Fundamental Query Services -- A Robust and Self-tuning Page-Replacement Strategy for Spatial Database Systems -- Broadcast-Based Data Access in Wireless Environments -- Bridging the Gap between Response Time and Energy-Efficiency in Broadcast Schedule Design -- Estimation/Histograms -- Estimating Answer Sizes for XML Queries -- Selectivity Estimation for Spatial Joins with Geometric Selections -- A Framework for the Physical Design Problem for Data Synopses -- Aggregation -- Temporal Aggregation over Data Streams Using Multiple Granularities -- ProPolyne: A Fast Wavelet-Based Algorithm for Progressive Evaluation of Polynomial Range-Sum Queries -- Aggregate Processing of Planar Points -- Industrial and Applications Track—II -- TDB: A Database System for Digital Rights Management -- Content Schema Evolution in the CoreMedia® Content Application Platform CAP -- Gene Expression Data Management: A Case Study -- Demo Paper Track -- With HEART Towards Response Time Guarantees for Message-Based e-Services -- Cobra: A Content-Based Video Retrieval System -- Navigating Virtual Information Sources with Know-ME -- XQuery by the Book: The IPSI XQuery Demonstrator -- The ORDB-Based SFB-501-Reuse-Repository -- Building Dynamic Market Places Using HyperQueries -- The ApproXML Tool Demonstration -- A Database-Supported Workbench for Information Fusion: InFuse -- STYX: Connecting the XML Web to the World of Semantics -- UMiner: A Data Mining System Handling Uncertainty and Quality -- Managing Web Sites with OntoWebber -- Management of Dynamic Location Information in DOMINO -- Situation Aware Mobile Access to Digital Libraries. |
| Record Nr. | UNISA-996465385503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Database Technology - EDBT 2002 : 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings / / edited by Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorny, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke
| Advances in Database Technology - EDBT 2002 : 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings / / edited by Christian S. Jensen, Keith G. Jeffery, Jaroslav Pokorny, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XVI, 784 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Application software Information storage and retrieval Computer communication systems Management information systems Computer science Data Structures and Information Theory Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-540-45876-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Hyperdatabases: Infrastructure for the Information Space -- DAML+OIL: A Reason-able Web Ontology Language -- Ambient Intelligence: Plenty of Challenges by 2010 -- Query Transformation -- An Approach to Integrating Query Refinement in SQL -- Querying with Intrinsic Preferences -- Rewriting Unions of General Conjunctive Queries Using Views -- Data Mining -- Profit Mining: From Patterns to Actions -- Cut-and-Pick Transactions for Proxy Log Mining -- Composition of Mining Contexts for Efficient Extraction of Association Rules -- XML -- Designing Functional Dependencies for XML -- On Efficient Matching of Streaming XML Documents and Queries -- Efficient Complex Query Support for Multiversion XML Documents -- Advanced Query Processing -- Approximate Processing of Multiway Spatial Joins in Very Large Databases -- Indexing Values in Continuous Field Databases -- Efficient and Adaptive Processing of Multiple Continuous Queries -- Moving Objects -- The Geometry of Uncertainty in Moving Objects Databases -- Efficient Indexing of Spatiotemporal Objects -- Dynamic Queries over Mobile Objects -- Industrial and Applications Track—I -- Semantic Analysis of Business Process Executions -- An Introduction to the e-XML Data Integration Suite -- Spatio-temporal Information Systems in a Statistical Context -- Distributed Data -- A Systematic Approach to Selecting Maintenance Policies in a Data Warehouse Environment -- Efficient OLAP Query Processing in Distributed Data Warehouses -- Incremental Maintenance of Schema-Restructuring Views -- Distributed Processing -- Coupling of FDBS and WfMS for Integrating Database and Application Systems: Architecture, Complexity, Performance -- Optimizing Scientific Databases for Client Side Data Processing -- Supporting Efficient Parametric Search of E-Commerce Data: A Loosely-Coupled Solution -- Advanced Querying -- Divide-and-Conquer Algorithm for Computing Set Containment Joins -- Universal Quantification in Relational Databases: A Classification of Data and Algorithms -- Efficient Algorithms for Mining Inclusion Dependencies -- XML—Advanced Querying -- The Index-Based XXL Search Engine for Querying XML Data with Relevance Ranking -- Tree Pattern Relaxation -- Schema-Driven Evaluation of Approximate Tree-Pattern Queries -- Fundamental Query Services -- A Robust and Self-tuning Page-Replacement Strategy for Spatial Database Systems -- Broadcast-Based Data Access in Wireless Environments -- Bridging the Gap between Response Time and Energy-Efficiency in Broadcast Schedule Design -- Estimation/Histograms -- Estimating Answer Sizes for XML Queries -- Selectivity Estimation for Spatial Joins with Geometric Selections -- A Framework for the Physical Design Problem for Data Synopses -- Aggregation -- Temporal Aggregation over Data Streams Using Multiple Granularities -- ProPolyne: A Fast Wavelet-Based Algorithm for Progressive Evaluation of Polynomial Range-Sum Queries -- Aggregate Processing of Planar Points -- Industrial and Applications Track—II -- TDB: A Database System for Digital Rights Management -- Content Schema Evolution in the CoreMedia® Content Application Platform CAP -- Gene Expression Data Management: A Case Study -- Demo Paper Track -- With HEART Towards Response Time Guarantees for Message-Based e-Services -- Cobra: A Content-Based Video Retrieval System -- Navigating Virtual Information Sources with Know-ME -- XQuery by the Book: The IPSI XQuery Demonstrator -- The ORDB-Based SFB-501-Reuse-Repository -- Building Dynamic Market Places Using HyperQueries -- The ApproXML Tool Demonstration -- A Database-Supported Workbench for Information Fusion: InFuse -- STYX: Connecting the XML Web to the World of Semantics -- UMiner: A Data Mining System Handling Uncertainty and Quality -- Managing Web Sites with OntoWebber -- Management of Dynamic Location Information in DOMINO -- Situation Aware Mobile Access to Digital Libraries. |
| Record Nr. | UNINA-9910143913503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Databases and Information Systems [[electronic resource] ] : 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings / / edited by Barbara Catania, Giovanna Guerrini, Jaroslav Pokorny
| Advances in Databases and Information Systems [[electronic resource] ] : 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings / / edited by Barbara Catania, Giovanna Guerrini, Jaroslav Pokorny |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 402 p. 137 illus.) |
| 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-40683-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontologies -- Indexing -- Data mining -- OLAP -- XML data processing -- Querying -- Similarity search -- GPU -- Querying in parallel architectures -- Performance evaluation -- Distributed architectures. |
| Record Nr. | UNISA-996466038503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Databases and Information Systems : 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings / / edited by Barbara Catania, Giovanna Guerrini, Jaroslav Pokorny
| Advances in Databases and Information Systems : 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings / / edited by Barbara Catania, Giovanna Guerrini, Jaroslav Pokorny |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 402 p. 137 illus.) |
| 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-40683-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontologies -- Indexing -- Data mining -- OLAP -- XML data processing -- Querying -- Similarity search -- GPU -- Querying in parallel architectures -- Performance evaluation -- Distributed architectures. |
| Record Nr. | UNINA-9910484792103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Current Issues in Databases and Information Systems [[electronic resource] ] : East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000 Prague, Czech Republic, September 5-9, 2000 Proceedings / / edited by Julius Stuller, Jaroslav Pokorny, Bernhard Thalheim, Yoshifumi Masunaga
| Current Issues in Databases and Information Systems [[electronic resource] ] : East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000 Prague, Czech Republic, September 5-9, 2000 Proceedings / / edited by Julius Stuller, Jaroslav Pokorny, Bernhard Thalheim, Yoshifumi Masunaga |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIII, 396 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems |
| ISBN | 3-540-44472-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- An Advanced Processing Environment for Managing the Continuous and Semistructured Features of Multimedia Content -- Database Systems as Middleware - Events, Notifications, Messages -- Regular Papers -- Managing Schemata for Semistructured Databases Using Constraints -- Caching for Mobile Communication -- Efficient Cache Management Protocol Based on Data Locality in Mobile DBMSs -- Algorithms for Rewriting Aggregate Queries Using Views -- A New High-Dimensional Index Structure Using a Cell-Based Filtering Technique -- Active System for Heterogeneous ODBMS Using Mobile Rule Codes -- 2-D Spatial Indexing Scheme in Optimal Time -- Mining around Association and Representative Rules -- A New Algorithm for Page Access Sequencing in Join Processing -- Data Organization Issues for Location-Dependent Queries in Mobile Computing -- Towards Intelligent Information Retrieval Engines: A Multi-agent Approach -- Design and Implementation of a Novel Approach to Keyword Searching in Relational Databases -- A Rule-Oriented Architecture to Incorporate Dissemination-Based Information Delivery into Information Integration Environments -- Hierarchical Materialisation of Method Results in Object-Oriented Views -- Finding Generalized Path Patterns for Web Log Data Mining -- Size Estimation of the Intersection Join between Two Line Segment Datasets -- Distributed Searching of k-Dimensional Data with Almost Constant Costs -- X2QL: An eXtensible XML Query Language Supporting User-Defined Foreign Functions -- Decision Committee Learning with Dynamic Integration of Classifiers -- Multiversion Linear Quadtree for Spatio-Temporal Data -- On the Analysis of On-Line Database Reorganization -- Short Papers -- Systematization of Approaches to Equality—Generating Constraints -- Efficient Region Query Processing by Optimal Page Ordering -- On Deploying and Executing Data-Intensive Code on SMart Autonomous Storage (SmAS) Disks -- An Efficient Storage Manager -- A Timeout-Based Mobile Transaction Commitment Protocol -- Flexible Integration of Optimistic and Pessimistic Concurrency Control in Mobile Environments -- An Analysis of Alternative Methods for Storing Semistructured Data in Relations -- Main-Memory Management in Temporal Object Database Systems -- Design Issues in Transaction-Time Temporal Object Database Systems -- Mobile Transaction Management in Mobisnap -- How to Manage Evolution in OODB?. |
| Record Nr. | UNISA-996465411303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Current Issues in Databases and Information Systems : East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000 Prague, Czech Republic, September 5-9, 2000 Proceedings / / edited by Julius Stuller, Jaroslav Pokorny, Bernhard Thalheim, Yoshifumi Masunaga
| Current Issues in Databases and Information Systems : East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000 Prague, Czech Republic, September 5-9, 2000 Proceedings / / edited by Julius Stuller, Jaroslav Pokorny, Bernhard Thalheim, Yoshifumi Masunaga |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIII, 396 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Information storage and retrieval Application software Multimedia information systems Data Structures and Information Theory Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) Multimedia Information Systems |
| ISBN | 3-540-44472-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- An Advanced Processing Environment for Managing the Continuous and Semistructured Features of Multimedia Content -- Database Systems as Middleware - Events, Notifications, Messages -- Regular Papers -- Managing Schemata for Semistructured Databases Using Constraints -- Caching for Mobile Communication -- Efficient Cache Management Protocol Based on Data Locality in Mobile DBMSs -- Algorithms for Rewriting Aggregate Queries Using Views -- A New High-Dimensional Index Structure Using a Cell-Based Filtering Technique -- Active System for Heterogeneous ODBMS Using Mobile Rule Codes -- 2-D Spatial Indexing Scheme in Optimal Time -- Mining around Association and Representative Rules -- A New Algorithm for Page Access Sequencing in Join Processing -- Data Organization Issues for Location-Dependent Queries in Mobile Computing -- Towards Intelligent Information Retrieval Engines: A Multi-agent Approach -- Design and Implementation of a Novel Approach to Keyword Searching in Relational Databases -- A Rule-Oriented Architecture to Incorporate Dissemination-Based Information Delivery into Information Integration Environments -- Hierarchical Materialisation of Method Results in Object-Oriented Views -- Finding Generalized Path Patterns for Web Log Data Mining -- Size Estimation of the Intersection Join between Two Line Segment Datasets -- Distributed Searching of k-Dimensional Data with Almost Constant Costs -- X2QL: An eXtensible XML Query Language Supporting User-Defined Foreign Functions -- Decision Committee Learning with Dynamic Integration of Classifiers -- Multiversion Linear Quadtree for Spatio-Temporal Data -- On the Analysis of On-Line Database Reorganization -- Short Papers -- Systematization of Approaches to Equality—Generating Constraints -- Efficient Region Query Processing by Optimal Page Ordering -- On Deploying and Executing Data-Intensive Code on SMart Autonomous Storage (SmAS) Disks -- An Efficient Storage Manager -- A Timeout-Based Mobile Transaction Commitment Protocol -- Flexible Integration of Optimistic and Pessimistic Concurrency Control in Mobile Environments -- An Analysis of Alternative Methods for Storing Semistructured Data in Relations -- Main-Memory Management in Temporal Object Database Systems -- Design Issues in Transaction-Time Temporal Object Database Systems -- Mobile Transaction Management in Mobisnap -- How to Manage Evolution in OODB?. |
| Record Nr. | UNINA-9910143622703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of IDEAS'12 : Prague, Czech Republic, 2012-08-08 - 2012-08-10
| Proceedings of IDEAS'12 : Prague, Czech Republic, 2012-08-08 - 2012-08-10 |
| Autore | Desai Bipin C |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (261 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1234-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 16th International Database Engineering & Applications Symposium
IDEAS '12 16th International Database Engineering & Applications Symposium, Prague, Czech Republic - August 08 - 10, 2012 |
| Record Nr. | UNINA-9910376328403321 |
Desai Bipin C
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| 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
| 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
| 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 2010: Theory and Practice of Computer Science [[electronic resource] ] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe
| SOFSEM 2010: Theory and Practice of Computer Science [[electronic resource] ] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings / / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorny, Bernhard Rumpe |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 780 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer programming Information retrieval Computer architecture Artificial intelligence—Data processing Database management Software Engineering Programming Techniques Data Storage Representation Data Science Database Management |
| ISBN | 3-642-11266-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format for Unit Elements -- Approximability of Edge Matching Puzzles -- A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs -- A Kernel for Convex Recoloring of Weighted Forests -- Symbolic OBDD-Based Reachability Analysis Needs Exponential Space -- A Social Vision of Knowledge Representation and Reasoning -- Flavors of KWQL, a Keyword Query Language for a Semantic Wiki -- On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances -- On a Labeled Vehicle Routing Problem -- Improved Matrix Interpretation -- Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object-Oriented Query Language SBQL -- Perfect Matching for Biconnected Cubic Graphs in O(n log2 n) Time -- Destructive Rule-Based Properties and First-Order Logic -- Learning User Preferences for 2CP-Regression for a Recommender System -- Parallel Randomized Load Balancing: A Lower Bound for a More General Model -- Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem -- Linear Complementarity Algorithms for Infinite Games -- Mixing Coverability and Reachability to Analyze VASS with One Zero-Test -- Practically Applicable Formal Methods -- Fast and Compact Prefix Codes -- New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes -- Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations -- Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph -- On the Complexity of the Highway Pricing Problem -- Accelerating Smart Play-Out -- Optimum Broadcasting in Complete Weighted-Vertex Graphs -- On Contracting Graphs to Fixed Pattern Graphs -- Dynamic Edit Distance Table under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process? -- Design Patterns Instantiation Based on Semantics and Model Transformations -- A Complete Symbolic Bisimulation for Full Applied Pi Calculus -- OTwig: An Optimised Twig Pattern Matching Approach for XML Databases -- Picture Recognizability with Automata Based on Wang Tiles -- Unilateral Orientation of Mixed Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus on the Complex Areas -- CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions -- Source Code Rejuvenation Is Not Refactoring -- Empirical Evaluation of Strategies to Detect Logical Change Dependencies -- Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup -- An Amortized Search Tree Analysis for k-Leaf Spanning Tree -- Approximate Structural Consistency -- Comprehensive System for Systematic Case-Driven Software Reuse -- Comparison of Scoring and Order Approach in Description Logic -- Homophily of Neighborhood in Graph Relational Classifier -- Multilanguage Debugger Architecture -- Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining -- Finding and Certifying Loops -- Vertex Ranking with Capacity. |
| Record Nr. | UNISA-996465907003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||