default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23. SOFSEM 1996: Milovy, Czech Republic
- Keith G. Jeffery
, Jaroslav Král, Miroslav Bartosek:
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
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 Plásil, 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, Zdenek 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 - Jianhua 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
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 2025-11-02 21:01 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:
