TY  - BOOK
AU  - Grosky,William I.
AU  - Plášil,František
ED  - SOFSEM
TI  - 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 
T2  - Lecture notes in computer science
SN  - 9783540361374
AV  - QA76.751 .S62 2002
U1  - 004 21
PY  - 2002///
CY  - Berlin, New York
PB  - Springer
KW  - Computer software
KW  - Congresses
KW  - Computers
KW  - Logiciels
KW  - Congrès
KW  - Ordinateurs
KW  - Online resources
KW  - cct
KW  - fast
KW  - Conference papers and proceedings
N1  - Includes bibliographical references and index; 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
N2  - 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
UR  - https://link.springer.com/10.1007/3-540-36137-5
ER  -