29. SOFSEM 2002: Milovy, Czech Republic

William I. Grosky, Frantisek Plasil (Eds.): 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 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 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 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

Last update Sat May 25 19:07:53 2013 CET by the DBLP Team —

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