SOFSEM '95: Theory and Practice of Informatics

1. Software engineering meets human-computer interaction: Integrating user interface design in an object-oriented methodology

   • Hans -W. Gellersen

   Pages 375-378

2. Parsing of free-word-order languages

   • Tomáš Holan, Vladislav Kuboň, Martin Plátek

   Pages 379-384

3. Distributed algorithm for finding a core of a tree network

   • Esther Jennings

   Pages 385-390

4. Stepwise synthesis of reactive programs

   • Petr Kozák

   Pages 391-398

5. A simple and efficient incremental LL(1) parsing

   • Warren X. Li

   Pages 399-404

6. Fundamentals of context-sensitive rewriting

   • Salvador Lucas

   Pages 405-412

7. Constraint Logic Programming with Fuzzy Sets

   • Luděk Matyska, Hynek Bureš

   Pages 413-418

8. Parallel processing of image database queries

   • Francois Meunier, Petr Zemanek

   Pages 419-424

9. Maximum flow problem in distributed environment

   • Lenka Motyčková

   Pages 425-430

10. Fuzzy set theory and medical expert systems: Survey and model

    • Nguyen Hoang Phuong

    Pages 431-436

11. The Fusion object-oriented method: an evaluation

    • Alain Pirotte, Thierry van den Berghe, Esteban Zimanyi

    Pages 437-442

12. Integration of Object-Oriented analysis and Algebraic specifications

    • Zuzana Repaská

    Pages 443-448

13. On the implementation of some residual minimizing Krylov space methods

    • M. Rozložník, Z. Strakoš

    Pages 449-454

14. A formal lazy replication regime for spreading conversion functions over objectbases

    • Clara Smith, Carlos A. Tau

    Pages 455-460

15. Hopfleid languages

    • Jiří Šíma

    Pages 461-468

16. Inconsistency conflict resolution

    • Július Štuller

    Pages 469-474

17. A methodology for performance and scalability analysis

    • Efthimios Tambouris, Peter van Santen

    Pages 475-480

18. On the efficiency of superscalar and vector computer for some problems in scientific computing

    • M. Tůma, M. Rozložník

    Pages 481-486

19. Logic programming in RPL and RQL

    • Peter Vojtáš, Leonard Paulík

    Pages 487-492

20. Recognition of handwritten characters using Instance-Based Learning Algorithms

    • Jan Žižka, Irena Šnajdárková

    Pages 493-498

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.

• Datenbanken
• Hardware
• Performance
• Processing
• Software Engineering
• Text
• Wissenschaftliches Rechnen
• algorithms
• database
• databases
• human-computer interaction
• human-computer interaction (HCI)
• logic
• multimedia
• scientific computing

Policies and ethics