The Resource SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)
SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)
Resource Information
The item SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This book constitutes the refereed proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2000, held in Milovy, Czech Republic in November/December 2000. The 16 invited papers and 18 contributed papers selected from 36 submissions were carefully selected in order to provide representative coverage of the three tracks: trends in algorithms, information technologies and practice, and computational perception
- Language
- eng
- Extent
- 1 online resource (xi, 460 pages)
- Contents
-
- Invited Talks
- Domain Engineering: A Software Engineering Discipline in Need of Research
- Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power
- The Incompressibility Method
- BioInformatics: Databases + Data Mining
- Algorithms for Rational Agents
- Simplified Witness Tree Arguments
- Software Testing & Diagnostics: Theory & Practice
- Physical Design of CMOS Chips in Six Easy Steps
- Analysis Patterns
- Information Society Technologies in Healthcare
- Towards High Speed Grammar Induction on Large Text Corpora
- Information Access Based on Associative Calculation
- Cheap Vision--Exploiting Ecological Niche and Morphology
- Hierarchies of Sensing and Control in Visually Guided Agents
- Recognizing Objects by Their Appearance Using Eigenimages
- Information Mining: Applications in Image Processing
- Contributed Papers
- An Automatic Composition Algorithm for Functional Logic Programs
- On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem
- Fast Evolutionary Chains
- A Temporal Layered Knowledge Architecture for an Evolving Structured Environment
- On-Line Maximum-Order Induced Hereditary Subgraph Problems
- Quantum Pushdown Automata
- Use of Dependency Microcontexts in Information Retrieval
- Some Notes on the Information Flow in Read-Once Branching Programs
- On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe
- Autonomous Components
- Parallel Object Server for Fine Grained Objects
- Massively Parallel Pattern Recognition with Link Failures
- Finitary Observations in Regular Algebras
- Using Consensus Methods for Solving Conflicts of Data in Distributed Systems
- Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis
- Robust Implementation of Finite Automata by Recurrent RBF Networks
- MDBAS--A Prototype of a Multidatabase Management System Based on Mobile Agents
- Computing the Dimension of Linear Subspaces
- Isbn
- 9783540444114
- Label
- SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings
- Title
- SOFSEM 2000
- Title remainder
- theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings
- Statement of responsibility
- Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)
- Language
- eng
- Summary
- This book constitutes the refereed proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2000, held in Milovy, Czech Republic in November/December 2000. The 16 invited papers and 18 contributed papers selected from 36 submissions were carefully selected in order to provide representative coverage of the three tracks: trends in algorithms, information technologies and practice, and computational perception
- Cataloging source
- COO
- Dewey number
- 004
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.751
- LC item number
- .S62 2000
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2000
- http://bibfra.me/vocab/lite/meetingName
- SOFSEM
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Hlavac, Vaclav
- Jeffery, Keith
- Wiedermann, J.
- Series statement
- Lecture notes in computer science
- Series volume
- 1963
- http://library.link/vocab/subjectName
-
- Computer software
- Computers
- Computer software
- Computers
- Label
- SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Talks -- Domain Engineering: A Software Engineering Discipline in Need of Research -- Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power -- The Incompressibility Method -- BioInformatics: Databases + Data Mining -- Algorithms for Rational Agents -- Simplified Witness Tree Arguments -- Software Testing & Diagnostics: Theory & Practice -- Physical Design of CMOS Chips in Six Easy Steps -- Analysis Patterns -- Information Society Technologies in Healthcare -- Towards High Speed Grammar Induction on Large Text Corpora -- Information Access Based on Associative Calculation -- Cheap Vision--Exploiting Ecological Niche and Morphology -- Hierarchies of Sensing and Control in Visually Guided Agents -- Recognizing Objects by Their Appearance Using Eigenimages -- Information Mining: Applications in Image Processing -- Contributed Papers -- An Automatic Composition Algorithm for Functional Logic Programs -- On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem -- Fast Evolutionary Chains -- A Temporal Layered Knowledge Architecture for an Evolving Structured Environment -- On-Line Maximum-Order Induced Hereditary Subgraph Problems -- Quantum Pushdown Automata -- Use of Dependency Microcontexts in Information Retrieval -- Some Notes on the Information Flow in Read-Once Branching Programs -- On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe -- Autonomous Components -- Parallel Object Server for Fine Grained Objects -- Massively Parallel Pattern Recognition with Link Failures -- Finitary Observations in Regular Algebras -- Using Consensus Methods for Solving Conflicts of Data in Distributed Systems -- Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis -- Robust Implementation of Finite Automata by Recurrent RBF Networks -- MDBAS--A Prototype of a Multidatabase Management System Based on Mobile Agents -- Computing the Dimension of Linear Subspaces
- Control code
- 213932925
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 460 pages)
- Form of item
- online
- Isbn
- 9783540444114
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-44411-4
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)213932925
- Label
- SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Invited Talks -- Domain Engineering: A Software Engineering Discipline in Need of Research -- Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power -- The Incompressibility Method -- BioInformatics: Databases + Data Mining -- Algorithms for Rational Agents -- Simplified Witness Tree Arguments -- Software Testing & Diagnostics: Theory & Practice -- Physical Design of CMOS Chips in Six Easy Steps -- Analysis Patterns -- Information Society Technologies in Healthcare -- Towards High Speed Grammar Induction on Large Text Corpora -- Information Access Based on Associative Calculation -- Cheap Vision--Exploiting Ecological Niche and Morphology -- Hierarchies of Sensing and Control in Visually Guided Agents -- Recognizing Objects by Their Appearance Using Eigenimages -- Information Mining: Applications in Image Processing -- Contributed Papers -- An Automatic Composition Algorithm for Functional Logic Programs -- On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem -- Fast Evolutionary Chains -- A Temporal Layered Knowledge Architecture for an Evolving Structured Environment -- On-Line Maximum-Order Induced Hereditary Subgraph Problems -- Quantum Pushdown Automata -- Use of Dependency Microcontexts in Information Retrieval -- Some Notes on the Information Flow in Read-Once Branching Programs -- On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe -- Autonomous Components -- Parallel Object Server for Fine Grained Objects -- Massively Parallel Pattern Recognition with Link Failures -- Finitary Observations in Regular Algebras -- Using Consensus Methods for Solving Conflicts of Data in Distributed Systems -- Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis -- Robust Implementation of Finite Automata by Recurrent RBF Networks -- MDBAS--A Prototype of a Multidatabase Management System Based on Mobile Agents -- Computing the Dimension of Linear Subspaces
- Control code
- 213932925
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 460 pages)
- Form of item
- online
- Isbn
- 9783540444114
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-44411-4
- Other physical details
- illustrations.
- Specific material designation
- remote
- System control number
- (OCoLC)213932925
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/SOFSEM-2000--theory-and-practice-of-informatics/SiQhovPYdsE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/SOFSEM-2000--theory-and-practice-of-informatics/SiQhovPYdsE/">SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/SOFSEM-2000--theory-and-practice-of-informatics/SiQhovPYdsE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/SOFSEM-2000--theory-and-practice-of-informatics/SiQhovPYdsE/">SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings, Václav Hlavác,̆ Keith G. Jeffery, Jirĭ́ Wiedermann (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>