23. SOFSEM 1996: Milovy, Czech Republic

Keith G. Jeffery, Jaroslav Král, Miroslav Bartosek (Eds.): 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. Lecture Notes in Computer Science 1175 Springer 1996, ISBN 3-540-61994-1 BibTeX

@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 BibTeX
Friedhelm Meyer auf der Heide, Christian Scheideler: Communication in Parallel Systems. 16-33 BibTeX

Distributed and Parallel Computing

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

AI and Control Systems

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

Databases and Electronic Documents

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

Scientific Computing and Visualization

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

Programming and Software Engineering

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

Contributed Papers

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