default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24. SOFSEM 1997: Milovy, Czech Republic
- Frantisek Plásil
, Keith G. Jeffery:
SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings. Lecture Notes in Computer Science 1338, Springer 1997, ISBN 3-540-63774-5
Invited Papers
Fundamentals
- Rainer Feldmann:
Computer Chess: Algorithms and Heuristics for a Deep Look into the Future. 1-18 - Marc J. van Kreveld:
Algorithms for Triangulated Terrains. 19-36 - Klaus-Jörn Lange:
On the Distributed Realization of Parallel Algorithms. 37-52 - Johann A. Makowsky, Elena V. Ravve:
The Fundamental Problem of Database Design. 53-69 - Jaroslav Nesetril, Daniel Turzík:
Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP). 70-85 - Pekka Orponen:
The Computational Power of Continuous Time Neural Networks. 86-103 - Klaus Weihrauch:
A Foundation for Computable Analysis. 104-121 - Jirí Wiedermann:
Towards Machines That Can Think. 122-141 - Henryk Wozniakowski:
Computational Complexity of Continuous Problems. 142-143 - Shmuel Zaks:
Path Layout in ATM Networks. 144-160
Distributed And Parallel Computing
- Stefan Covaci, Thomas Magedanz:
The Mobile Agent Technology. 161-162 - David A. Duce:
Theory and Practice in Internationally Rich Distributed Systems. 163-182 - Valérie Issarny:
Configuration-Based Programming Systems. 183-200 - Prakash K. Muthukrishnan, Barrett R. Bryant:
Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications. 201-218
Software Engeneering And Methodology
- Dines Bjørner:
A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. 219-248 - Annie Kuntzmann-Combelles:
The Whole Picture to Software Process Improvement. 249-265 - Wolfgang Pree:
Object-Oriented Design Patterns. 266-274
Databases And Information Systems
- Klaus R. Dittrich, Andreas Geppert:
Object-Oriented DBMS and Beyond. 275-294 - Maria E. Orlowska, Hui Li, Chengfei Liu:
On Integration of Relational and Object-Oriented Database Systems. 295-312 - M. Howard Williams, Norman W. Paton:
From OO Through Deduction to Active Databases - ROCK, ROLL & RAP. 313-330 - Jiri Zara:
An Introduction to Virtual Reality Modeling Language. 331-348 - Jirí Zlatuska:
Stepping Stones to an Information Society. 349-372
Contributed Papers
- Luca Becchetti, Carlo Gaibisso:
Lower Bounds for the Virtual Path Layout Problem in ATM Networks. 375-382 - Bingning Dai, David A. Bell, John G. Hughes:
Query Processing in Temporal Evidential Databases. 383-390 - Cristina De Castro:
A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema Versioning. 391-398 - Carlo Gaibisso, Guido Proietti:
Efficient Insertion of Approximately Sorted Seqeunces of Items into a Dictionary. 399-406 - Pablo Galdámez, Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán:
High Availability Support in CORBA Environments. 407-414 - Vladimír Glasnák:
On f-Sparse Sets in NP - P. 415-422 - Markus Hof, Hanspeter Mössenböck, Peter Pirkelbauer:
Zero-Overhead Exeption Handling Using Metaprogramming. 423-431 - Jan Janousek, Borivoj Melichar:
The Output-Store Formal Translator Directed by LR Parsing. 432-439 - Jiri Kadlec:
Parallel Processing on Alphas Under MATLAB 5. 440-447 - Petr Kolman:
PRAM Lower Bound for Element Distinctness Revisited. 448-455 - Ivan Kopecek:
Optimal Trees for Searching in Codebook. 456-463 - Rastislav Kralovic:
Time Optimal Self-Stabilizing Algorithms. 464-472 - Petr Kroha, M. Strauß:
Requirements Specification Iteratively Combined with Reverse. 473-480 - Antonín Kucera:
On Finite Representations of Infinite-State Behaviours. 481-488 - Salvador Lucas:
Efficient Strong Sequentiality Using Replacement Restrictions. 489-496 - Massimo Marchiori:
Optmial Encodings. 497-504 - Frantisek Mráz, Martin Plátek, Petr Jancar, Jörg Vogel:
Monotonic Rewriting Automata with a Restart Operation. 505-512 - Shan-Hwei Nienhuys-Cheng, Arie de Bruin:
Kahn's Fixed-Point Characterization for Linear Dynamic Networks. 513-522 - Karel Pala, Pavel Rychlý, Pavel Smrz:
DESAM - Annotated Corpus for Czech. 523-530 - Yvan Peter:
Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service. 531-538 - Wim Pijls, Arie de Bruin:
A Theory of Game Trees, Based on Solution Trees. 539-546 - Heiko Schröder, A. E. May, Imrich Vrto, Ondrej Sýkora:
Approximation Algorithms for the Vertex Bipartization Problem. 547-554 - Heiko Schröder, Ondrej Sýkora, Imrich Vrto:
Optical All-to-All Communication for Some Product Graphs. 555-562 - David Strupl, Roman Neruda:
Parallelizing Self-Organizing Maps. 563-570
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.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
