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

A unified view to string matching algorithms....Pages 1-15
Communication in parallel systems....Pages 16-33
An overview of the Tigger object-support operating system framework....Pages 34-55
The arias distributed shared memory: An overview....Pages 56-73
CORBA and object services....Pages 74-93
Decision-theoretic reasoning and the human-computer interface: Advances in embedded intelligent agents....Pages 94-94
Probabilistic approaches to motion planning....Pages 95-112
Learning in order to reason: The approach....Pages 113-124
Database semantics in heterogeneous environment....Pages 125-142
Business case processing — Rationale, survey and trends....Pages 143-160
Data Mining and the Keso project....Pages 161-177
Computer Visualization — Concepts, trends and current research....Pages 178-196
High performance computing — The computational chemistry perspective....Pages 197-216
Iterative methods for unsymmetric linear systems....Pages 217-234
Core technologies for system renovation....Pages 235-254
Trends in game tree search....Pages 255-274
A visual approach to VDM....Pages 275-284
Statecharts: Past, present, future....Pages 285-285
Scalable fault tolerance....Pages 286-306
A deductive database support to the specification of concurrent systems....Pages 307-316
Interprocess communication in the T4 system....Pages 317-326
A formal representation for state diagrams in the OMT methodology....Pages 327-334
Feasible real random access machines....Pages 335-342
Temporal conversion functions for multitemporal relational databases....Pages 343-350
An output sensitive solution to the set union and intersection problem....Pages 351-358
On the semantics of multistage interconnection networks....Pages 359-368
Decision trees, knowledge rules and some related data mining algorithms....Pages 369-376
Regularity is decidable for normed BPA and normed BPP processes in polynomial time....Pages 377-384
A new proposal of concurrent process calculus....Pages 385-392
On the specification of visual languages: Multisets as first-class citizens....Pages 393-400
Restarting automata with rewriting....Pages 401-408
On the role of orthogonality in the GMRES method....Pages 409-416
Efficient tree pattern unification....Pages 417-424
A light-weight formalism for the specification of reactive systems....Pages 425-432
Knowledge discovery in alarm data analysis....Pages 433-440
Aunt's problem: Table rounding....Pages 441-450
A seven-head dragon for optimal pattern searching....Pages 451-458
Choosing reference views for image-based representation....Pages 459-466
Recognizing graph products and bundles....Pages 467-474
Genetic algorithms-based creation of fuzzy-rule bases for the car control....Pages 475-482
A transaction model for mobile and active database systems....Pages 483-490