SOFSEM 2001: Theory and Practice of Informatics

28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings

Häftad, Engelska, 2001

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2001-11-07
Mått155 x 233 x 20 mm
Vikt552 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor350
Upplaga2001
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540429128

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Hårdvara inom Data och it
Artificiell intelligens inom Data och it

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.