default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26. SOFSEM 1999: Milovy, Czech Republic
- Jan Pavelka, Gerard Tel, Miroslav Bartosek:
SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings. Lecture Notes in Computer Science 1725, Springer 1999, ISBN 3-540-66694-X
Invited Talks
Trends in Theory
- Jozef Gruska:
Quantum Challenges. 1-28 - Juraj Hromkovic:
Stability of Approximation Algorithms for Hard Optimization Problems. 29-47 - Wojciech Rytter:
Algorithms on Compressed Strings and Arrays. 48-65
Core Technologies
- Wolfgang Appelt:
WWW Based Collaboration with the BSCW System. 66-78 - Christian Bac, Guy Bernard, Didier Le Tien, Olivier Villin:
Middleware and Quality of Service. 79-94 - Noemi de La Rocque Rodriguez, Roberto Ierusalimschy:
Dynamic Reconfiguration of CORBA-Based Applications. 95-111 - S. Doaitse Swierstra, Pablo R. Azero Alcocer:
Fast, Error Correcting Parser Combinatiors: A Short Tutorial. 112-131 - Ghica van Emde Boas:
IBM SanFrancisco: Java Based Business Components and New Tools to Develop Applications. 132-149
Software and Information Engineering
- Paolo Atzeni:
Databases and the World Wide Web. 150-162 - Juan Bicarregui
:
Exploiting Formality in Software Engineering. 163-180 - Max H. Garzon, Russell J. Deaton:
Biomolecular Computing and Programming (Extended Abstract). 181-188 - Václav Rajlich:
Software Change and Evolution. 189-202 - Peter M. A. Sloot, Jaap A. Kaandorp, Alfons G. Hoekstra, Benno J. Overeinder:
Distributed Simulation with Cellular Automata: Architecture and Applications. 203-248
From Data to Knowledge
- Alejandro P. Buchmann, Ming-Chuan Wu:
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors. 249-260 - Max H. Garzon:
On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract). 261-263 - Dan Roth, Dmitry Zelenko:
Coherent Concepts, Robust Learning. 264-276
Applications
- Martin Bogdan, Wolfgang Rosenstiel:
Application of Artificial Neural Networks for Different Engineering Problems. 277-294 - Cyril Allauzen, Maxime Crochemore, Mathieu Raffinot:
Factor Oracle: A New Structure for Pattern Matching. 295-310 - Emil Pelikán:
Principles of Forecasting - A Short Overview. 311-327
Contributed Papers
- María Alpuente, Santiago Escobar, Salvador Lucas:
UPV-CURRY: An Incremental CURRY Interpreter. 331-339 - Andris Ambainis, Richard F. Bonner, Rusins Freivalds, Marats Golovkins, Marek Karpinski:
Quantum Finite Multitape Automata. 340-348 - Martin Beran:
Decomposable Bulk Synchronous Parallel Computers. 349-359 - Premysl Brada:
Component Change and Version Identification in SOFA. 360-368 - Ivana Cerná, Ondrej Klíma, Jirí Srba:
Pattern Equations and Equations with Stuttering. 369-378 - Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán:
Garbage Collection for Modile and Replicated Objects. 379-386 - Anna Gambin, Adam Malinowski:
Randomized Gossiping by Packets in Faulty Networks. 387-394 - Carlos Herrero, Javier Oliver:
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. 395-403 - Petr Jancar, Faron Moller, Zdenek Sawa:
Simulation Problems for One-Counter Machines. 404-413 - Gabriel Juhás:
On Semantics of Petri Nets over Partial Algebra. 414-421 - Ivan Kramosil:
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals. 422-430 - Maksim Kravtsev:
Quantum Finite One-Counter Automata. 431-441 - David Rutter:
A Performance Comparison of Monile Agents and RPC. 441-448 - Heiko Schröder, Ondrej Sýkora, Imrich Vrto:
Cyclic Cutwidth of the Mesh. 449-458 - Jirí Síma, Pekka Orponen, Teemu Antti-Poika:
Some Afterthoughts on Hopfield Networks. 459-469 - Ulrich Ultes-Nitsche:
A Persistent-Set Approach to Abstract Stat-Space Construction in Verification. 470-478 - Jirí Wiedermann:
Computational Power of Neuroidal Nets. 479-487 - Thomas Worsch:
Cellular Automata with Dynamically Reconfigurable Buses. 488-496
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 2024-11-19 20:33 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:
