SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt'any, Slovak Republic, November 24-December 1, 2001 : Proceedings / Leszek Pacholski, Peter Ruzicka (eds.).Material type: TextSeries: Serienbezeichnung | Lecture notes in computer science ; 2234.Publication details: Berlin ; London : Springer, 2001. Description: 1 online resource (xi, 345 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540456278; 3540456279Subject(s): Computer software | Computers | Computer software | ComputersGenre/Form: Electronic books. Additional physical formats: Printed edition:: No titleDDC classification: 004 LOC classification: QA76.751 | .S62 2001Online resources: Click here to access online
|Item type||Current library||Collection||Call number||Status||Date due||Barcode||Item holds|
Full text also available on Internet.
Includes bibliographical references and index.
This book constitutes the refereed proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2001, held in Piestany, Slovak Republic, in November/December 2001. Teh volume presents 12 invited lectures and one keynote paper by leading researchers together with 18 revised full research papers selected from 46 submissions. The papers span the whole range of informatics with emphasis on trends in informatics, enabling technologies for global computing, and practical systems engineering.
Invited Talks -- The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences -- Agreement Problems in Fault-Tolerant Distributed Systems -- Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes -- Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited -- Recent Advances in Wavelength Routing -- From Metacomputing to Grid Computing: Evolution or Revolution? -- Knowledge-Based Control Systems -- Beyond the Turing Limit: Evolving Interactive Systems -- Distributed Computations by Autonomous Mobile Robots -- Formal Verification Methods for Industrial Hardware Design -- How Can Computer Science Contribute to Knowledge Discovery -- Contributed Papers -- On the Approximability of Interactive Knapsack Problems -- Model Checking Communication Protocols -- Pipelined Decomposable BSP Computers -- Quantum versus Probabilistic One-Way Finite Automata with Counter -- How to Employ Reverse Search in Distributed Single Source Shortest Paths -- Multi-agent Systems as Concurrent Constraint Processes -- ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs -- Approximative Learning of Regular Languages -- Quantum Finite State Transducers -- Lemmatizer for Document Information Retrieval Systems in JAVA -- The Reconstruction of Polyominoes from Approximately Orthogonal Projections -- Bounding Lamport's Bakery Algorithm -- Fast Independent Component Analysis in Kernel Feature Spaces -- On Majority Voting Games in Trees -- Time and Space Complexity of Reversible Pebbling -- The HiQoS Rendering System -- Two-Way Restarting Automata and J-Monotonicity -- P-Hardness of Equivalence Testing on Finite-State Processes -- Keynote Talk -- Software Geography: Physical and Economic Aspects.