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

AvWilliam I. Grosky,Frantisek Plasil

Häftad, Engelska, 2002

Del i serien Lecture Notes in Computer Science

558 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.

Produktinformation

Utgivningsdatum:2002-11-05
Mått:155 x 235 x 17 mm
Vikt:464 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:294
Upplaga:2002
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540001454

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.