SOFSEM 2006 : theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, Měřín, Czech Republic, January 21-27, 2006 : proceedings

This book constitutes the refereed proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2006, held in Merin, Czech Republic. The 45 revised full papers, including the best Student Research Forum paper, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies. Content: Front Matter....Pages - How Can Nature Help Us Compute?....Pages 1-13 Evolving Ontology Evolution....Pages 14-29 A Formal Comparison of Visual Web Wrapper Generators....Pages 30-48 Beyond the Horizon: Planning Future European ICT R&D....Pages 49-60 Selfish Routing in Networks....Pages 61-62 New Physics and Hypercomputation....Pages 63-63 Models and Algorithms for Wireless Sensor Networks (Smart Dust)....Pages 64-83 SomeWhere in the Semantic Web....Pages 84-99 Mobility in Wireless Networks....Pages 100-116 Group Communication: From Practice to Theory....Pages 117-136 A General Data Reduction Scheme for Domination in Graphs....Pages 137-147 Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources....Pages 148-157 Non-intersecting Complexity....Pages 158-165 Constructing Interference-Minimal Networks....Pages 166-176 Matching Points with Rectangles and Squares....Pages 177-186 Searching Paths of Constant Bandwidth....Pages 187-196 Graph Searching and Search Time....Pages 197-206 Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic....Pages 207-217 Simple Algorithm for Sorting the Fibonacci String Rotations....Pages 218-225 Oriented Coloring: Complexity and Approximation....Pages 226-236 Quantum Finite Automata and Logics....Pages 237-245 FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks....Pages 246-253 Sedna: A Native XML DBMS....Pages 254-261 Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring....Pages 262-271 The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies....Pages 272-281 Complexity and Exact Algorithms for Multicut....Pages 282-292 Using Extensible Heterogeneous Database Transformers....Pages 293-302 P-Selectivity, Immunity, and the Power of One Bit....Pages 303-312 Transparent Migration of Database Services....Pages 313-322 Merging and Merge-Sort in a Single Hop Radio Network....Pages 323-331 On Optimal and Efficient in Place Merging....Pages 332-340 A Personalized Recommendation System Based on PRML for E-Commerce....Pages 341-349 An Efficient Index Scheme for XML Databases....Pages 350-359 On Separating Constant from Polynomial Ambiguity of Finite Automata....Pages 360-369 Reliable Broadcasting Without Collision Detection....Pages 370-378 Semi-strong Static Type Checking of Object-Oriented Query Languages....Pages 379-388 Building a Fuzzy Transformation System....Pages 389-398 News Generating Via Fuzzy Summarization of Databases....Pages 399-408 Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis....Pages 409-418 Automatic Distribution of Sequential Code Using JavaSymphony Middleware....Pages 419-429 Unifying Framework for Message Passing....Pages 430-439 Heuristics on the Definition of UML Refinement Patterns....Pages 440-450 The Complexity of Problems on Implicitly Represented Inputs....Pages 451-460 How Many Dots Are Really Needed for Head-Driven Chart Parsing?....Pages 461-470 Ontology Acquisition for Automatic Building of Scientific Portals....Pages 471-482 Improved ROCK for Text Clustering Using Asymmetric Proximity....Pages 483-492 Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet....Pages 493-500 Computational Complexity of Relay Placement in Sensor Networks....Pages 501-510 On the NP-Completeness of Some Graph Cluster Measures....Pages 511-520 A Flexible Policy Architecture for Mobile Agents....Pages 521-529 An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority....Pages 530-537 Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three....Pages 538-547 Level-of-Detail in Behaviour of Virtual Humans....Pages 548-555 Back Matter....Pages 556-564 ....Pages 565-574 This book constitutes the refereed proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2006, held in Merin, Czech Republic in January 2006. The 45 revised full papers, including the best Student Research Forum paper, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held in Merin, Czech Republic. The 45 revised full papers, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies. Jiří Wiedermann ... [et Al.] (eds.). Includes Bibliographical References And Index.