SOFSEM B

38 papers

YearTitle / Authors
1999A Performance Comparison of Monile Agents and RPC.
David Rutter
1999A Persistent-Set Approach to Abstract Stat-Space Construction in Verification.
Ulrich Ultes-Nitsche
1999Algorithms on Compressed Strings and Arrays.
Wojciech Rytter
1999Application of Artificial Neural Networks for Different Engineering Problems.
Martin Bogdan, Wolfgang Rosenstiel
1999Biomolecular Computing and Programming (Extended Abstract).
Max H. Garzon, Russell J. Deaton
1999Cellular Automata with Dynamically Reconfigurable Buses.
Thomas Worsch
1999Coherent Concepts, Robust Learning.
Dan Roth, Dmitry Zelenko
1999Component Change and Version Identification in SOFA.
Premysl Brada
1999Computational Power of Neuroidal Nets.
Jirí Wiedermann
1999Cyclic Cutwidth of the Mesh.
Heiko Schröder, Ondrej Sýkora, Imrich Vrto
1999Databases and the World Wide Web.
Paolo Atzeni
1999Decomposable Bulk Synchronous Parallel Computers.
Martin Beran
1999Distributed Simulation with Cellular Automata: Architecture and Applications.
Peter M. A. Sloot, Jaap A. Kaandorp, Alfons G. Hoekstra, Benno J. Overeinder
1999Dynamic Reconfiguration of CORBA-Based Applications.
Noemi de La Rocque Rodriguez, Roberto Ierusalimschy
1999Exploiting Formality in Software Engineering.
Juan Bicarregui
1999Factor Oracle: A New Structure for Pattern Matching.
Cyril Allauzen, Maxime Crochemore, Mathieu Raffinot
1999Fast, Error Correcting Parser Combinatiors: A Short Tutorial.
S. Doaitse Swierstra, Pablo R. Azero Alcocer
1999Garbage Collection for Modile and Replicated Objects.
Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán
1999IBM SanFrancisco: Java Based Business Components and New Tools to Develop Applications.
Ghica van Emde Boas
1999Middleware and Quality of Service.
Christian Bac, Guy Bernard, Didier Le Tien, Olivier Villin
1999On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract).
Max H. Garzon
1999On Semantics of Petri Nets over Partial Algebra.
Gabriel Juhás
1999Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.
Carlos Herrero, Javier Oliver
1999Pattern Equations and Equations with Stuttering.
Ivana Cerná, Ondrej Klíma, Jirí Srba
1999Principles of Forecasting - A Short Overview.
Emil Pelikán
1999Quantum Challenges.
Jozef Gruska
1999Quantum Finite Multitape Automata.
Andris Ambainis, Richard F. Bonner, Rusins Freivalds, Marats Golovkins, Marek Karpinski
1999Quantum Finite One-Counter Automata.
Maksim Kravtsev
1999Randomized Gossiping by Packets in Faulty Networks.
Anna Gambin, Adam Malinowski
1999SOFSEM '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
Jan Pavelka, Gerard Tel, Miroslav Bartosek
1999Simulation Problems for One-Counter Machines.
Petr Jancar, Faron Moller, Zdenek Sawa
1999Software Change and Evolution.
Václav Rajlich
1999Some Afterthoughts on Hopfield Networks.
Jirí Síma, Pekka Orponen, Teemu Antti-Poika
1999Stability of Approximation Algorithms for Hard Optimization Problems.
Juraj Hromkovic
1999Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors.
Alejandro P. Buchmann, Ming-Chuan Wu
1999Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals.
Ivan Kramosil
1999UPV-CURRY: An Incremental CURRY Interpreter.
María Alpuente, Santiago Escobar, Salvador Lucas
1999WWW Based Collaboration with the BSCW System.
Wolfgang Appelt