Coverart for item
The Resource 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, William I. Grosky, František Plášil (eds.)

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, William I. Grosky, František Plášil (eds.)

Label
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
Title
SOFSEM 2002
Title remainder
theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002 : proceedings
Statement of responsibility
William I. Grosky, František Plášil (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing
Member of
Cataloging source
COO
Dewey number
004
Illustrations
illustrations
Index
index present
LC call number
QA76.751
LC item number
.S62 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
SOFSEM
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Grosky, William I
  • Plášil, František
Series statement
Lecture notes in computer science
Series volume
2540
http://library.link/vocab/subjectName
  • Computer software
  • Computers
  • Online resources
  • Computer software
  • Computers
  • Computer software
  • Computers
Label
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, William I. Grosky, František Plášil (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
166466870
Dimensions
unknown
Extent
1 online resource (x, 287 pages)
Form of item
online
Isbn
9783540361374
Lccn
2002191128
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-36137-5
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)166466870
Label
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, William I. Grosky, František Plášil (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
166466870
Dimensions
unknown
Extent
1 online resource (x, 287 pages)
Form of item
online
Isbn
9783540361374
Lccn
2002191128
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-36137-5
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)166466870

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...