default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27. SOFSEM 2000: Milovy, Czech Republic
- Václav Hlavác
, Keith G. Jeffery, Jirí Wiedermann:
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. Lecture Notes in Computer Science 1963, Springer 2000, ISBN 3-540-41348-0
Invited Talks
Keynote Speaker
- Dines Bjørner:
Domain Engineering: A Software Engineering Discipline in Need of Research. 1-17
Trends in Algorithmics
- Jürg Nievergelt:
Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power. 18-35 - Tao Jiang, Ming Li, Paul M. B. Vitányi:
The Incompressibility Method. 36-53 - Arno Siebes:
BioInformatics: Databases + Data Mining (abstract). 54-55 - Amir Ronen:
Algorithms for Rational Agents. 56-70 - Thomas Schickinger, Angelika Steger:
Simplified Witness Tree Arguments. 71-87
Information Technologies in Practice
- Vladimír Marík, Lubos Kral, Radek Marík:
Software Testing & Diagnostics: Theory & Practice. 88-114 - Sidney E. Benda:
Physical Design of CMOS Chips in Six Easy Steps. 115-128 - L'ubor Sesera:
Analysis Patterns. 129-151 - Dimitrios G. Katehakis, Manolis Tsiknakis, Stelios C. Orphanoudakis:
Information Society Technologies in Healthcare. 152-172 - Pieter W. Adriaans, Marten Trautwein, Marco Vervoort:
Towards High Speed Grammar Induction on Large Text Corpora. 173-186 - Akihiko Takano, Yoshiki Niwa, Shingo Nishioka, Makoto Iwayama, Toru Hisamitsu, Osamu Imaichi, Hirofumi Sakurai:
Information Access Based on Associative Calculation. 187-201
Computational Perception
- Rolf Pfeifer, Dimitrios Lambrinos:
Cheap Vision-Exploiting Ecological Niche and Morphology. 202-226 - Jana Kosecka:
Hierarchies of Sensing and Control in Visually Guided Agents. 227-244 - Horst Bischof, Ales Leonardis:
Recognizing Objects by Their Appearance Using Eigenimages. 245-265
Soft Computing
- Rudolf Kruse, Aljoscha Klose:
Information Mining: Applications in Image Processing. 266-287
Contributed Papers
- María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
An Automatic Composition Algorithm for Functional Logic Programs. 289-297 - Dirk Bongartz:
On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Suerstring Problem. 298-306 - Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzón:
Fast Evolutionary Chains. 307-318 - Cristina De Castro:
A Temporal Layered Knowledge Architecture for an Evolving Structured Environment. 319-326 - Marc Demange, Xavier Paradon, Vangelis Th. Paschos:
On-Line Maximum-Order Induces Hereditary Subgraph Problems. 327-335 - Marats Golovkins:
Quantum Pushdown Automata. 336-346 - Martin Holub:
Use of Dependency Microcontexts in Information Retrieval. 347-355 - Stasys Jukna, Stanislav Zák:
Some Notes on the Information Flow in Read-Once Branching Programs. 356-364 - Marina Kolesnik:
On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe. 365-374 - Jaroslav Král, Michal Zemlicka:
Autonomous Components. 375-383 - Petr Koha:
Parallel Object Server for Fine Grained Objects. 384-391 - Martin Kutrib, Jan-Thomas Löwe:
Massively Parallel Pattern Recognition with Link Failures. 392-401 - Slawomir Lasota:
Finitary Observations in Regular Algebras. 402-410 - Ngoc Thanh Nguyen:
Using Consensus Methods for Solving Conflicts of Data in Distributed Systems. 411-419 - Václav Sebesta, Jana Tucková:
Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis. 420-430 - Michal Sorel, Jirí Síma:
Robust Implementaion of Finite Automata by Recurrent RBF Networks. 431-439 - Richard Vlach, Jan Lána, Jan Marek, David Navara:
MDBAS-A Prototype of a Multidatabase Management System Based on Mobile Agents. 440-449 - Martin Ziegler, Vasco Brattka:
Computing the Dimension of Linear Subspaces. 450-458
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-12 23:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
