SOFSEM 2002: Theory and Practice of Informatics
Editat de William I. Grosky, Frantisek Plasilen Limba Engleză Paperback – 5 noi 2002
Preț: 321.39 lei
Preț vechi: 401.73 lei
-20% Nou
Puncte Express: 482
Preț estimativ în valută:
56.87€ • 66.32$ • 49.93£
56.87€ • 66.32$ • 49.93£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540001454
ISBN-10: 354000145X
Pagini: 304
Ilustrații: X, 294 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354000145X
Pagini: 304
Ilustrații: X, 294 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.
Caracteristici
Includes supplementary material: sn.pub/extras