000 05618nam a22006135i 4500
001 978-3-540-45627-8
003 DE-He213
005 20240423132449.0
007 cr nn 008mamaa
008 121227s2001 gw | s |||| 0|eng d
020 _a9783540456278
_9978-3-540-45627-8
024 7 _a10.1007/3-540-45627-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aSOFSEM 2001: Theory and Practice of Informatics
_h[electronic resource] :
_b28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings /
_cedited by Leszek Pacholski, Peter Ruzicka.
250 _a1st ed. 2001.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2001.
300 _aX, 350 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2234
505 0 _aInvited 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.
520 _aSOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aComputer networks .
650 0 _aArtificial intelligence.
650 0 _aComputer science
_xMathematics.
650 1 4 _aSoftware Engineering.
650 2 4 _aTheory of Computation.
650 2 4 _aComputer Communication Networks.
650 2 4 _aArtificial Intelligence.
650 2 4 _aMathematics of Computing.
700 1 _aPacholski, Leszek.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRuzicka, Peter.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540429128
776 0 8 _iPrinted edition:
_z9783662211267
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2234
856 4 0 _uhttps://doi.org/10.1007/3-540-45627-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188035
_d188035