Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. William I. Grosky

    1. Department of Computer and Information Science, University of Michigan - Dearborn, Michigan, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. František Plášil

    1. Department of Software Engineering School of Computer Science, Charles University, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2540)

Included in the following conference series:

Conference proceedings info: SOFSEM 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. INVITED TALKS

    2. Distributed and Parallel Systems

      1. Equivalence-Checking with Infinite-State Systems: Techniques and Results
        • Antonín Kučera, Petr Jančar
        Pages 41-73

    3. Type Theory

      1. On Functions and Types: A Tutorial
        • Fairouz Kamareddine
        Pages 74-93

    4. Multimedia, Databases, and Vision

      1. Database Support for Multisource Multiresolution Scientific Data
        • Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
        Pages 94-114
      2. Semantic Annotation and Indexing of News and Sports Videos
        • Jürgen Assfalg, Marco Bertini, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati
        Pages 115-131
      3. Multimedia Presentations Databases (Extended Abstract)
        • Maria Luisa Sapino
        Pages 132-134
      4. Interactive Indexing and Retrieval of Multimedia Content
        • Marcel Worring, Andrew Bagdanov, Jan v. Gemert, Jan-Mark Geusebroek, Hoang Minh, Guus Schreiber et al.
        Pages 135-148
      5. A Model-Based Approach to Semantic-Based Retrieval of Visual Information
        • Forouzan Golshani, Youngchoon Park, Sethuraman Panchanathan
        Pages 149-167

    5. Soft Computing

      1. Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract)
        • Didier Dubois, Henri Prade
        Pages 168-173

  3. PANEL SESSION

    1. Data Management Challenges for GRID Computing

      • Keith G. Jeffery
      Pages 174-180

  4. CONTRIBUTED PAPERS

    1. Hungarian Speech Synthesis Using a Phase Exact HNM Approach

      • Kornél Kovács, András Kocsor, László Tóth
      Pages 181-185

    2. Modelling Resource Transitions in Constraint-Based Scheduling

      • Roman Barták
      Pages 186-194

    3. A Specification Framework for Real-Time Scheduling

      • K. Subramani
      Pages 195-207

    4. String Transformation for n-Dimensional Image Compression

      • Martin Kutrib, Jan-Thomas Löwe
      Pages 208-217

    5. Validation and Decomposition of Partially Occluded Images

      • Costas S. Iliopoulos, Manal Mohamed
      Pages 218-230

    6. Solving Conflicts of Agent Knowledge States in Multiagent Systems

      • Radoslaw Piotr Katarzyniak, Ngoc Thanh Nguyen
      Pages 231-239

    7. Specification and Verification of Secure Business Transaction Systems

      • Vangalur S. Alagar, Kasi Periyasamy
      Pages 240-252

    8. Agent-Oriented Model of Simulated Evolution

      • Marek Kisiel-Dorohinicki
      Pages 253-261
Back to top

Other volumes

  1. SOFSEM 2002: Theory and Practice of Informatics

Keywords

About this book

Forthe29thtime,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.

Editors and Affiliations

  • Department of Computer and Information Science, University of Michigan - Dearborn, Michigan, USA

    William I. Grosky

  • Department of Software Engineering School of Computer Science, Charles University, Prague, Czech Republic

    František Plášil

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation