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

AvLeszek Pacholski,Peter Ruzicka

Häftad, Engelska, 2001

Del i serien Lecture Notes in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2001-11-07
Mått:155 x 233 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:350
Upplaga:2001
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540429128

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

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.