SOFSEM'96 - CT Programme

P. Asirelli, S. Gnesi, M. C. Rossi, IEI - CNR, Pisa, I
A deductive database support to the specification of concurrent systems
D. Bednarek, P. Merta, D. Obdrzalek, J. Yaghob, F. Zavoral, Charles University, Prague, CZ
Interprocess Communication in the T4 System
E. Bertino, D. Castelli, F. Vitale, Universita' di Milano, I
A Formal Representation for State Diagrams in the OMT Methodology
V. Brattka, P. Hertling FernUni, Hagen, G
Feasible Real Random Access Machines
C. De Castro, Universita degli Studi di Bologna, I
Temporal Conversion Functions for Multitemporal Relational Databases
C. Gaibisso, E. Nardelli, G. Proietti, Universita di L'Aquila, I
An Output Sensitive Solution to the Set Union and Intersection Problem
A. Gambin, S. Lasota, Warszaw University, PL
On the Semantics of Multistage Interconnection Networks
J. Liang Han, University of Southern Queensland, Toowoomba, Australia
Decision Trees, Knowledge Rules, and Some Related Data Mining Algorithms
A. Kucera, Masaryk University, Brno, CZ
Regularity is decidable for normed BPA and normed BPP processes in polynomial time
S. Lucas, J. Oliver, Universidad Politecnica de Valencia, E
A new proposal of Concurrent Process Calculus
M. Marchiori, University of Padova, I
On the Specification of Visual Languages: Multisets as First-Class Citizens
F. Mraz, M. Platek, J. Vogel, Charles University, Prague, CZ
Restarting automata with rewriting
M. Rozloznik, Z. Strakos, M. Tuma, Academy of Sciences, Prague, CZ
On the role of orthogonality in the GMRES method
P. Ruzicka, Comenius University, Bratislava, SK
Efficient Tree Pattern Unification
J. Shao, University of Wales College, Cardiff, UK
Knowledge Discovery In Alarm Data Analysis
P. Scholz, Technische Universitaet Muenchen, G
A Light-Weight Formalism for the Specification of Reactive Systems
J. Sima, Czech Academy of Sciences, Prague, CZ
Aunt's Problem: Table Rounding
I. Vovsova, Charles University, Prague, CZ
A Seven-Head Dragon for Optimal Pattern Searching
T. Werner, V. Hlavac, A. Leonardis, T. Pajdla Czech Technical University, Prague, CZ
Choosing Reference Views for Image-Based Representation
J. Zerovnik, Univerza v Mariboru, Slovenia
Recognizing Graph Products and Bundles
J. Zizka, Z. Kratochvil, Technical University of Brno, CZ
Genetic Algorithms-Based Creation of Fuzzy-Rule Bases for the Car Control
O. Zukunft, Universitaet Oldenburg, G
A Transaction Model for Mobile and Active Database Systems