22. SOFSEM 1995: Milovy, Czech Republic

Miroslav Bartosek, Jan Staudek, Jirí Wiedermann (Eds.): SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings. Lecture Notes in Computer Science 1012 Springer 1995, ISBN 3-540-60609-2

@proceedings{DBLP:conf/sofsem/1995,
  editor    = {Miroslav Bartosek and
               Jan Staudek and
               Jir\'{\i} Wiedermann},
  title     = {SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice
               of Informatics, Milovy, Czech Republic, November 23 - December
               1, 1995, Proceedings},
  booktitle = {SOFSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1012},
  year      = {1995},
  isbn      = {3-540-60609-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Fundamentals

Jirí Wiedermann:
Parallel Machine Models: How They Are and Where Are They Going. 1-30
Petr Hájek:
Fuzzy Logic From The Logical Point of View. 31-49
Gerard Tel:
Sense of Direction in Processor Networks. 50-82
Hava T. Siegelmann:
Welcoming the Super Turing Theories. 83-94
Bill G. Horne, Hava T. Siegelmann, C. Lee Giles:
What NARX Networks Can Compute. 95-102

Databases

Keith G. Jeffery:
Database: Introduction to Problems. 103-119
Jane Grimson:
Distributed Information Systems. 120-145
Norman W. Paton:
Extending Database Technology. 146-165

Software Engineering

A. J. G. Betts:
Introducing SSADM4+ and PRINCE. 166-183
Juan Bicarregui, Brian Matthews:
Formal Methods in Practice: A Comparison of Two Support Systems for Proof. 184-205
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber:
Development of Safety-Critical Real-Time Systems. 206-235
Egon Börger:
Why Use Evolving Algebras for Hardware and Software Engineering? 236-271

Parallel & Distributed Systems, Scientific Computing

Christian Bac, Guy Bernard, Denis Conan, Quang Hong Nguyen, Chantal Taconet:
Experience with Chorus. 272-291
Barbara M. Chapman, Piyush Mehrotra, Hans P. Zima:
High-Level Languages for Parallel Scientific Computing. 292-314

Multimedia, Hypertext

Hermann A. Maurer:
On Some New Aspects of Networked Multimedia Systems. 315-333
Ales Limpouch, Karel Charvát:
Quo Vadis GIS: From GIS to GIMS and Open GIS. 334-349
Victoria A. Marshall:
WWW - The World Wide Web. 350-362

Contributed Papers

Peter Borovanský:
Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution. 363-368
Alessandro Cappelli, Cristina De Castro, Maria Rita Scalas:
A Modular History-Oriented Access Structure for Bitemporal Relational Databases. 369-374
Hans-Werner Gellersen:
Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology. 375-378
Tomás Holan, Vladislav Kubon, Martin Plátek:
Parsing of Free-Word-Order Languages. 379-384
Esther Jennings:
Distributed Algorithm for Finding a Core of a Tree Network. 385-390
Petr Kozák:
Stepwise Synthesis of Reactive Programs. 391-398
Warren X. Li:
A Simple and Efficient Incremental LL(1) parsing. 399-404
Salvador Lucas:
Fundamentals of Context=Sensitive Rewriting. 405-412
Ludek Matyska, Hynek Bures:
Constraint Logic Programming with Fuzzy Sets. 413-418
François Meunier, Petr Zemánek:
Parallel Processing of Image Database Queries. 419-424
Lenka Motyckova:
Maximum Flow Problem in Distributed Environment. 425-430
Nguyen Hoang Phuong:
Fuzzy Set Theory and Medical Expert Systems: Survey and Model. 431-436
Alain Pirotte, Thierry Van den Berghe, Esteban Zimányi:
The Fusion Object-Oriented Method: an Evaluation. 437-442
Zuzana Repaská:
Integration of Object-Oriented Analysis and Algebraic Specifications. 443-448
Miroslav Rozlozník, Zdenek Strakos:
On the Implementation of Some Residual Minimizing Krylov Space Methods. 449-454
Clara Smith, Carlos A. Tau:
A Formal Lazy Replication Regime for Spreading Conversion Functions over Objectbases. 455-460
Jirí Síma:
Hopfield Languages. 461-468
Julius Stuller:
Inconsistency Conflict Resolution. 469-474
Efthimios Tambouris, Peter Van Santen:
A Methodology for Performance and Scalability Analysis. 475-480
Miroslav Tuma, Miroslav Rozlozník:
On the Efficiency of Superscalar and Vector Computer for some Problems in Scientif Computing. 481-486
Peter Vojtás, Leonard Paulík:
Logic Programming in RPL and RQL. 487-492
Jan Zizka, Irena Snajdárková:
Recognition of Handwritten Characters Using Instance-Based Learning Algorithms. 493-498

Last update Tue Feb 14 04:11:31 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page