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

Ricardo Baeza-Yates (auth.), Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.)3540619941, 9783540619949

This book constitutes the proceedings of the 23rd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM ’96, held in Milovy, Czech Republic, in November 1996.
The volume presents a unique collection of 19 invited papers competently surveying the field. These papers are organized in sections on fundamentals, distributed and parallel computing, AI and control systems, databases and electronic documents, scientific computing and visualization, programming and software engineering. Also included are 22 refereed and thoroughly revised contributed research papers selected by the program committee for inclusion in the proceedings.

---

Table of contents :
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