SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, ... Computer Science and General Issues)

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