SOFSEM 2002: Theory and Practice of Informatics
Editat de William I. Grosky, Frantisek Plasilen Limba Engleză Paperback – 5 noi 2002
Preț: 322.37 lei
Preț vechi: 402.96 lei
-20%
Puncte Express: 484
Carte tipărită la comandă
Livrare economică 24 septembrie-08 octombrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.