Limit search to available items
Book Cover
Author SOFSEM (Conference) (39th : 2013 : Špindleruv Mlýn, Czech Republic)

Title 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 / Peter van Emde Boas [and others] (eds.)
Published Berlin ; New York : Springer, [2013]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource
Series Lecture notes in computer science, 0302-9743 ; 7741
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 7741
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Invited Talks -- Major Achievements in Software Studies -- Theory of Multi Core Hypervisor Verification / Ernie Cohen, Wolfgang Paul, Sabine Schmaltz -- Software Components in Computer Assisted Living? / Frantisek Plasil, Tomas Bures -- Foundations of Computer Science -- Engineering Algorithms for Large Data Sets / Peter Sanders -- Core Stability in Hedonic Coalition Formation / Gerhard J. Woeginger -- Software and Web Engineering -- Software Production: A New Paradigm for Software Engineering Research / Sjaak Brinkkemper -- A Model of the Commit Size Distribution of Open Source / Carsten Kolassa, Dirk Riehle, Michel A. Salim -- Data, Information and Knowledge Engineering -- ISICIL: Semantics and Social Networks for Business Intelligence / Michel Buffa, Nicolas Delaforge, Guillaume Erétéo, Fabien Gandon, Alain Giboin -- A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations / Aldo Gangemi, Valentina Presutti -- Social Computing and Human Factors -- Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence / Michael Beetz
Searching Things in Large Sets of Images / Arnold Smeulders -- Regular Papers -- Foundations of Computer Science -- SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators / Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir -- Worst Case Analysis of Non-local Games / Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs -- Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory / Marcella Anselmo, Dora Giammarresi, Maria Madonia -- Flow Decompositions in External Memory / Maxim Babenko -- Improved Approximations for Ordered TSP on Near-Metric Graphs, Hans-Joachim Böckenhauer, Monika Steinová -- Asymptotic Risk Analysis for Trust and Reputation Systems / Michele Boreale, Alessandro Celestini -- Being Caught between a Rock and a Hard Place in an Election -- Voter Deterrence by Deletion of Candidates / Britta Dorn, Dominikus Krüger -- Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences / Feodor F. Dragan, Muad Abu-Ata
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks / Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel -- Generalising and Unifying SLUR and Unit-Refutation Completeness / Matthew Gwynne, Oliver Kullmann -- On Structural Parameterizations for the 2-Club Problem / Sepp Hartung, Christian Komusiewicz, André Nichterlein -- On Languages of One-Dimensional Overlapping Tiles / David Janin -- An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions / Mamadou Moustapha Kanté, Christian Laforest, Benjamin Momège -- Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs / Mamadou Moustapha Kanté, Lhouari Nourine -- Permuted Pattern Matching on Multi-track Strings / Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai, Shunsuke Inenaga -- Online and Quasi-online Colorings of Wedges and Intervals / Balázs Keszegh, Nathan Lemons, Dömötör Pálvölgyi
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages / Violetta Lonati, Dino Mandrioli, Matteo Pradella -- Incomplete Transition Complexity of Some Basic Operations / Eva Maia, Nelma Moreira, Rogério Reis -- Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs / George B. Mertzios, Paul G. Spirakis -- Approximating the k-Splittable Capacitated Network Design Problem / Ehab Morsy -- Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures / Michael Rink -- Coalgebraic Bisimulation-Up-To / Jurriaan Rot, Marcello Bonsangue, Jan Rutten -- Software and Web Engineering -- A Model Transformation Language Based on Logic Programming / Jesús M. Almendros-Jiménez, Luis Iribarne -- Hypermodelling Reporting: Towards Cockpits for Code Structure / Tim Frey, Matthias Gräf -- Search in Source Code Based on Identifying Popular Fragments / Eduard Kuric, Mária Bieliková -- SimCo -- Hybrid Simulator for Testing of Component Based Applications / Richard Lipka, Tomáš Potužák, Premek Brada, Pavel Herout
Refinement Inference for Sequence Diagrams / Lunjin Lu, Dae-Kyoo Kim -- Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information / Milan Lučanský, Marián Šimko -- Utilizing Microblogs for Web Page Relevant Term Acquisition / Tomáš Uherčík, Marián Šimko, Mária Bieliková -- State Coverage: An Empirical Analysis Based on a User Study / Dries Vanoverberghe, Emma Eyckmans, Frank Piessens -- Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks / Lukáš Bajer, Martin Holeňa -- Computing Semantic Similarity Using Large Static Corpora / András Dobó, János Csirik -- The Orchestra of Multiple Model Repositories / Sergejs Kozlovics -- An Ontology-Driven Fuzzy Workflow System / Václav Slavíček -- Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework / Ondřej Šváb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt, Vojtěch Svátek -- Social Computing and Human Factors -- Tempo Adaptation within Interactive Music Instruments in Mobile Phone / Marek Takáč, Alena Kovárová -- Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? / Michail Tsikerdekis
Summary This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in Špindlerův Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors
Analysis Computer science
Software engineering
Data structures (Computer science)
Computer software
Computational complexity
Artificial intelligence
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
Notes International conference proceedings
Includes author index
Bibliography Includes bibliographical references
Subject Computer science -- Congresses.
Computing Methodologies.
Genre/Form Conference papers and proceedings.
Computer software.
Conference papers and proceedings.
Form Electronic book
Author Emde Boas, P. van.
ISBN 9783642358432 (electronic bk.)
3642358438 (electronic bk.)
364235842X (print)
9783642358425 (print)