23. SOFSEM 1996: Milovy, Czech Republic

@proceedings{DBLP:conf/sofsem/1996,
  editor    = {Keith G. Jeffery and
               Jaroslav Kr{\'a}l and
               Miroslav Bartosek},
  title     = {SOFSEM '96: Theory and Practice of Informatics, 23rd Seminar
               on Current Trends in Theory and Practice of Informatics, Milovy,
               Czech Republic, November 23-30, 1996,  Proceedings},
  booktitle = {SOFSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1175},
  year      = {1996},
  isbn      = {3-540-61994-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Fundamentals:

• Ricardo A. Baeza-Yates: A Unified View to String Matching Algorithms. 1-15
• Friedhelm Meyer auf der Heide, Christian Scheideler: Communication in Parallel Systems. 16-33

Distributed and Parallel Computing

• Vinny Cahill: An Overview of the Tigger Object-Support Operating System Framework. 34-55
• Pascal Dechamboux, Daniel Hagimont, Jacques Mossière, Xavier Rousset de Pina: The Arias Distributed Shared Memory: An Overview. 56-73
• Jan Kleindienst, Frantisek Plasil, Petr Tuma: CORBA and Object Services. 74-93

AI and Control Systems

• Eric Horvitz: Decision-Theoretic Reasoning and the Human-Computer Interface: Advances in Embedded Intelligent Agents (abstract). 94
• Mark H. Overmars, Petr Svestka: Probabilistic Approaches to Motion Planning. 95-112
• Dan Roth: Learning in Order to Reason: The Approach. 113-124

Databases and Electronic Documents

• Jaroslav Pokorný: Database Semantics in Heterogenous Environment. 125-142
• Kenneth Robinson, Damian Mac Randal: Business Case Processing - Rationale, Survey and Trends. 143-160
• Arno Siebes: Data Mining and the KESO Project. 161-177

Scientific Computing and Visualization

• Gitta Domik: Computer Visualization - Concepts, Trends and Current Research. 178-196
• Ludek Matyska: High Performance Computing - The Computational Chemistry Perspective. 197-216
• Henk A. van der Vorst: Iterative Methods for Unsymmetric Linear Systems. 217-234

Programming and Software Engineering

• Mark van den Brand, Paul Klint, Chris Verhoef: Core Technologies for System Renovation. 235-254
• Arie de Bruin, Wim Pijls: Trends in Game Tree Search. 255-274
• Jeremy Dick, Jérôme Loubersac: A Visual Approach to VDM. 275-284
• David Harel: Statecharts: Past, Present and Future (abstract). 285
• Shay Kutten: Scalable Fault Tolerance. 286-306

Contributed Papers

• Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi: A Deductive Database Support to the Specification of Concurrent Systems. 309-316
• David Bednárek, Petr Merta, David Obdrzálek, Jakub Yaghob, Filip Zavoral: Interprocess Communication in the T4 System. 317-326
• Elisa Bertino, Donatella Castelli, Federica Vitale: A Formal Representation for State Diagrams in the OMT Methodology. 327-334
• Vasco Brattka, Peter Hertling: Feasible Real Random Access Machines. 335-342
• Cristina De Castro: Temporal Conversion Functions for Multitemporal Relational Databases. 343-350
• Carlo Gaibisso, Enrico Nardelli, Guido Proietti: An Output Sensitive Solution to the Set Union and Intersection Problem. 351-358
• Anna Gambin, Slawomir Lasota: On the Semantics of Multistage Interconnection Networks. 359-368
• Jia Liang Han: Decision Trees, Knowledge Rules and Some Related Data Mining Algorithms. 369-376
• Antonín Kucera: Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. 377-392
• Salvador Lucas, Javier Oliver: A New Proposal of Concurrent Process Calculus. 385-392
• Massimo Marchiori: On the Specification of Visual Languages: Multisets as First-Class Citizens. 393-400
• Frantisek Mráz, Martin Plátek, Jörg Vogel: Restarting Automata with Rewriting. 401-408
• Miroslav Rozlozník, Z. Strakos, Miroslav Tuma: On the Role of Orthogonality in the GMRES Method. 409-416
• Peter Ruzicka: Efficient Tree Pattern Unification. 417-424
• Peter Scholz: A Light-Weight Formalism for the Specification of Reactive Systems. 425-432
• J. Shao: Knowledge Discovery in Alarm Data Analysis. 433-440
• Jirí Síma: Aunt's Problem: Table Rounding. 441-450
• Ivana Vovsová: A Seven-Headed Dragon for Optimal Pattern Searching. 451-458
• Tomás Werner, Václav Hlavác, Ales Leonardis, Tomás Pajdla: Choosing Reference Views for Image-Based Representation. 459-466
• Janez Zerovnik: Recognizing Graph Products and Bundles. 467-474
• Jan Zizka, Zdenek Kratochvíl: Genetic Algoriths-Based Creation of Fuzzy-Rule Bases for the Car Control. 475-482
• Olaf Zukunft: A Transaction Model for Mobile and Active Database Systems. 483-490