Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009329225/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract "The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24–30, 2004, ´ in the Hotel VZ M? e? rin, located about 60 km south of Prague on the right shore of Slapsk´ap? rehrada (“Slapy Dam”) in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science – this year illustrated by the selection of the following 4 tracks: – Computer Science Theory (Track Chair: Peter Van Emde Boas) – Database Technologies (Track Chair: Jaroslav Pokorny) ´ – Cognitive Technologies (Track Chair: Peter Sin? c´ ak) ? – Web Technologies (Track Chair: Julius ´ Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science.".
- catalog contributor b13171998.
- catalog contributor b13171999.
- catalog created "2004.".
- catalog date "2004".
- catalog date "2004.".
- catalog dateCopyrighted "2004.".
- catalog description "Avoiding Forbidden Submatrices by Row Deletions -- Building a Bridge between Mirror Neurons and Theory of Embodied Cognition -- The Best Student Paper -- Fully Truthful Mechanisms.".
- catalog description "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 -- ".
- catalog description "The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24–30, 2004, ´ in the Hotel VZ M? e? rin, located about 60 km south of Prague on the right shore of Slapsk´ap? rehrada (“Slapy Dam”) in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science – this year illustrated by the selection of the following 4 tracks: – Computer Science Theory (Track Chair: Peter Van Emde Boas) – Database Technologies (Track Chair: Jaroslav Pokorny) ´ – Cognitive Technologies (Track Chair: Peter Sin? c´ ak) ? – Web Technologies (Track Chair: Julius ´ Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science.".
- catalog description "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 -- ".
- catalog extent "xiii, 384 p. :".
- catalog identifier "3540207791 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2932".
- catalog issued "2004".
- catalog issued "2004.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "005.4/465 22".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Computer software Congresses.".
- catalog subject "Computer software.".
- catalog subject "Computers Congresses.".
- catalog subject "Database management.".
- catalog subject "Information systems.".
- catalog subject "Logic design.".
- catalog subject "QA76.751 .S62 2004".
- catalog tableOfContents "Avoiding Forbidden Submatrices by Row Deletions -- Building a Bridge between Mirror Neurons and Theory of Embodied Cognition -- The Best Student Paper -- Fully Truthful Mechanisms.".
- catalog tableOfContents "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 -- ".
- catalog tableOfContents "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 -- ".
- catalog title "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 : proceedings / Peter van Emde Boas ... [et al.] (eds.).".
- catalog type "text".