Buch, Englisch, Band 2540, 294 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
Buch, Englisch, Band 2540, 294 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-00145-4
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Grafikprogrammierung
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
Weitere Infos & Material
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.