26. SOFSEM 1999: Milovy, Czech Republic

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

Last update Fri May 24 19:50:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page