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
Conference proceedings SOFSEM 2002

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

Table of contents

  1. Front Matter
    Pages I-X

    1. System Design and Testing Related Theory

    2. Distributed and Parallel Systems

    3. Type Theory

      1. Fairouz Kamareddine
        Pages 74-93
    4. Multimedia, Databases, and Vision

      1. Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
        Pages 94-114
      2. Jürgen Assfalg, Marco Bertini, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati
        Pages 115-131
      3. Marcel Worring, Andrew Bagdanov, Jan v. Gemert, Jan-Mark Geusebroek, Hoang Minh, Guus Schreiber et al.
        Pages 135-148
      4. Forouzan Golshani, Youngchoon Park, Sethuraman Panchanathan
        Pages 149-167
    5. Soft Computing


    1. Keith G. Jeffery
      Pages 174-180

  5. Back Matter
    Pages 289-289

About these proceedings


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.


3D Computer Vision Distributed Computing Fuzzy Logic Multimedia Resolution Session Soft Computing Software Design Software Development System System Design automata complexity logic

Editors and affiliations

  • William I. Grosky
    • 1
  • František Plášil
    • 2
  1. 1.Department of Computer and Information ScienceUniversity of Michigan - DearbornMichiganUSA
  2. 2.Department of Software Engineering School of Computer ScienceCharles UniversityPragueCzech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00145-4
  • Online ISBN 978-3-540-36137-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking