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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hlavac, Vaclav (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Jeffery, Keith G. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wiedermann, Jiri (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1963
• Θέματα: Computers.; Software engineering.; Artificial intelligence.; Information storage and retrieval.; Computer communication systems.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence.; Information Storage and Retrieval.; Computer Communication Networks.

The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- ference facilities of the Dev?et Skal (Nine Rocks) Hotel, Milovy, Czech-Moravian Highlands, the Czech Republic. It was already the 27th annual meeting i...

Πίνακας περιεχομένων:

• 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.