default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29. SOFSEM 2002: Milovy, Czech Republic
- William I. Grosky, Frantisek Plásil:
SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings. Lecture Notes in Computer Science 2540, Springer 2002, ISBN 3-540-00145-X
Invited Talks
- Hacène Fouchal
:
Conformance Testing Techniques for Timed Systems. 1-19 - Ralf H. Reussner:
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. 20-40
Distributed and Parallel Systems
- Antonín Kucera, Petr Jancar:
Equivalence-Checking with Infinite-State Systems: Techniques and Results. 41-73
Type Theory
- Fairouz Kamareddine:
On Functions and Types: A Tutorial. 74-93
Multimedia, Databases, and Vision
- Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr:
Database Support for Multisource Multiresolution Scientific Data. 94-114 - Jürgen Assfalg, Marco Bertini, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati:
Semantic Annotation and Indexing of News and Sports Videos. 115-131 - Maria Luisa Sapino:
Multimedia Presentations Databases. 132-134 - Marcel Worring, Andrew D. Bagdanov, Jan C. van Gemert, Jan-Mark Geusebroek, Hoang Minh, Guus Schreiber, Cees Snoek, Jeroen Vendrig, Jan Wielemaker, Arnold W. M. Smeulders:
Interactive Indexing and Retrieval of Multimedia Content. 135-148 - Forouzan Golshani, Youngchoon Park, Sethuraman Panchanathan:
A Model-Based Approach to Semantic-Based Retrieval of Visual Information. 149-167
Soft Computing
- Didier Dubois, Henri Prade:
Bipolarity in Possibilistic Logic and Fuzzy Rules. 168-173
Panel Session
- Keith G. Jeffery:
Data Management Challenges for GRID Computing. 174-180
Contributed Papers
- Kornél Kovács, András Kocsor, László Tóth:
Hungarian Speech Synthesis Using a Phase Exact HNM Approach. 181-185 - Roman Barták:
Modelling Resource Transitions in Constraint-Based Scheduling. 186-194 - K. Subramani:
A Specification Framework for Real-Time Scheduling. 195-207 - Martin Kutrib, Jan-Thomas Löwe:
String Transformation for n -Dimensional Image Compression. 208-217 - Costas S. Iliopoulos, Manal Mohamed:
Validation and Decomposition of Partially Occluded Images. 218-230 - Radoslaw P. Katarzyniak, Ngoc Thanh Nguyen:
Solving Conflicts of Agent Knowledge States in Multiagent Systems. 231-239 - Vangalur S. Alagar, Kasilingam Periyasamy:
Specification and Verification of Secure Business Transaction Systems. 240-252 - Marek Kisiel-Dorohinicki:
Agent-Oriented Model of Simulated Evolution. 253-261 - Maciej Gebala:
The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections. 262-272 - Gatis Midrijanis:
The Complexity of Probabilistic versus Quantum Finite Automata. 273-278 - Ulrich Ultes-Nitsche:
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties. 279-288
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-01 23:09 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:
