SOFSEM 2013: Theory and Practice of Computer Science: 39th International Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Content: 
Front Matter....Pages -
Theory of Multi Core Hypervisor Verification....Pages 1-27
Software Components in Computer Assisted Living?....Pages 28-28
Engineering Algorithms for Large Data Sets....Pages 29-32
Core Stability in Hedonic Coalition Formation....Pages 33-50
Software Production: A New Paradigm for Software Engineering Research....Pages 51-51
A Model of the Commit Size Distribution of Open Source....Pages 52-66
ISICIL: Semantics and Social Networks for Business Intelligence....Pages 67-85
A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations....Pages 86-105
Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence....Pages 106-106
Searching Things in Large Sets of Images....Pages 107-107
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators....Pages 108-120
Worst Case Analysis of Non-local Games....Pages 121-132
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory....Pages 133-145
Flow Decompositions in External Memory....Pages 146-156
Improved Approximations for Ordered TSP on Near-Metric Graphs,....Pages 157-168
Asymptotic Risk Analysis for Trust and Reputation Systems....Pages 169-181
Being Caught between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates....Pages 182-193
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences....Pages 194-206
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks....Pages 207-219
Generalising and Unifying SLUR and Unit-Refutation Completeness....Pages 220-232
On Structural Parameterizations for the 2-Club Problem....Pages 233-243
On Languages of One-Dimensional Overlapping Tiles....Pages 244-256
An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions....Pages 257-267
Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs....Pages 268-279
Permuted Pattern Matching on Multi-track Strings....Pages 280-291
Online and Quasi-online Colorings of Wedges and Intervals....Pages 292-306
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages....Pages 307-318
Incomplete Transition Complexity of Some Basic Operations....Pages 319-331
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs....Pages 332-343
Approximating the k-Splittable Capacitated Network Design Problem....Pages 344-355
Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures....Pages 356-368
Coalgebraic Bisimulation-Up-To....Pages 369-381
A Model Transformation Language Based on Logic Programming....Pages 382-394
Hypermodelling Reporting: Towards Cockpits for Code Structure....Pages 395-407
Search in Source Code Based on Identifying Popular Fragments....Pages 408-419
SimCo – Hybrid Simulator for Testing of Component Based Applications....Pages 420-431
Refinement Inference for Sequence Diagrams....Pages 432-444
Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information....Pages 445-456
Utilizing Microblogs for Web Page Relevant Term Acquisition....Pages 457-468
State Coverage: An Empirical Analysis Based on a User Study....Pages 469-480
Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks....Pages 481-490
Computing Semantic Similarity Using Large Static Corpora....Pages 491-502
The Orchestra of Multiple Model Repositories....Pages 503-514
An Ontology-Driven Fuzzy Workflow System....Pages 515-527
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework....Pages 528-539
Tempo Adaptation within Interactive Music Instruments in Mobile Phone....Pages 540-551
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?....Pages 552-563
Back Matter....Pages -