default search action
22. SOFSEM 1995: Milovy, Czech Republic
- Miroslav Bartosek, Jan Staudek, Jirí Wiedermann:
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.