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
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...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
1963 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SOFSEM 2000, theory and practice of informatics, 27th International Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000, proceedings, Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.), 2000, New York, Springer, 1 vol. (XI-460 p.), Lecture notes in computer science, 3-540-41348-0 • SOFSEM 2000: Theory and Practice of Informatics, Texte imprimé, 9783662171776 |
目次:
- 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 ProsodyControl 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.