LEADER 06253nam 22007935 450 001 996466196703316 005 20200706210159.0 010 $a3-540-36137-5 024 7 $a10.1007/3-540-36137-5 035 $a(CKB)3400000000100275 035 $a(SSID)ssj0000326697 035 $a(PQKBManifestationID)11912766 035 $a(PQKBTitleCode)TC0000326697 035 $a(PQKBWorkID)10297047 035 $a(PQKB)11512683 035 $a(DE-He213)978-3-540-36137-4 035 $a(MiAaPQ)EBC3072691 035 $a(PPN)155211323 035 $a(EXLCZ)993400000000100275 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSOFSEM 2002: Theory and Practice of Informatics$b[electronic resource] $e29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings /$fedited by William I. Grosky, Frantisek Plasil 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 294 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2540 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-00145-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aINVITED 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. 330 $aForthe29thtime,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 narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22?29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2540 606 $aComputers 606 $aSoftware engineering 606 $aComputer communication systems 606 $aMultimedia information systems 606 $aOptical data processing 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aMultimedia Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I18059 606 $aComputer Imaging, Vision, Pattern Recognition and Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22005 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aMultimedia information systems. 615 0$aOptical data processing. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputation by Abstract Devices. 615 24$aMultimedia Information Systems. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 676 $a004 702 $aGrosky$b William I$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPlasil$b Frantisek$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSOFSEM 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466196703316 996 $aSOFSEM 2002: Theory and Practice of Informatics$92223519 997 $aUNISA