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
Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a nar...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2540 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, William I. Grosky, František Plášil (eds.), Berlin, Springer, 2002, 1 vol. (X-287 p.), Lecture notes in computer science, 3-540-00145-X • SOFSEM 2002: Theory and Practice of Informatics, Texte imprimé, 9783662198254 |
Taula de continguts:
- INVITED TALKS
- Conformance Testing Techniques for Timed Systems
- Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies
- Equivalence-Checking with Infinite-State Systems: Techniques and Results
- On Functions and Types: A Tutorial
- Database Support for Multisource Multiresolution Scientific Data
- Semantic Annotation and Indexing of News and Sports Videos
- Multimedia Presentations Databases (Extended Abstract)
- Interactive Indexing and Retrieval of Multimedia Content
- A Model-Based Approach to Semantic-Based Retrieval of Visual Information
- Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract)
- PANEL SESSION
- Data Management Challenges for GRID Computing
- CONTRIBUTED PAPERS
- Hungarian Speech Synthesis Using a Phase Exact HNM Approach
- Modelling Resource Transitions in Constraint-Based Scheduling
- A Specification Framework for Real-Time Scheduling
- String Transformation for n-Dimensional Image Compression
- Validation and Decomposition of Partially Occluded Images
- Solving Conflicts of Agent Knowledge States in Multiagent Systems
- Specification and Verification of Secure Business Transaction Systems
- Agent-Oriented Model of Simulated Evolution
- The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections
- The Complexity of Probabilistic versus Quantum Finite Automata
- Do We Need Liveness? Approximation of Liveness Properties by Safety Properties.