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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Grosky, William I. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Plasil, Frantisek (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2540
• Θέματα: Computers.; Software engineering.; Computer communication systems.; Multimedia information systems.; Optical data processing.; Theory of Computation.; Software Engineering.; Computer Communication Networks.; Computation by Abstract Devices.; Multimedia Information Systems.; Computer Imaging, Vision, Pattern Recognition and Graphics.

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...

Πίνακας περιεχομένων:

• 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.