Limit search to available items
Book Cover
E-book
Author SOFSEM (Conference) (38th : 2012 : Špindleruv Mlýn, Czech Republic)

Title SOFSEM 2012 : theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012 : proceedings / Mária Bieliková [and others] (eds.)
Published Heidelberg ; New York : Springer, ©2012

Copies

Description 1 online resource (xvii, 674 pages) : illustrations (some color)
Series Lecture notes in computer science, 0302-9743 ; 7147
LNCS sublibrary: SL 1 - Theoretical computer science and general issues
Lecture notes in computer science ; 7147.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Invited Talks. Foundations of Computer Science. -- The Legacy of Turing in Numerical Analysis / Felipe Cucker -- Turing Machines for Dummies / Peter van Emde Boas -- What Is an Algorithm? / Yuri Gurevich -- Strong Bridges and Strong Articulation Points of Directed Graphs / Giuseppe F. Italiano -- Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test / Jiří Wiedermann -- Software and Web Engineering. A Fully Generic Approach for Realizing the Adaptive Web / Paul De Bra, David Smits -- Multi Feature Indexing Network MUFIN for Similarity Search Applications / Pavel Zezula -- Cryptography, Security, and Verification. Recent Challenges and Ideas in Temporal Synthesis / Orna Kupferman -- Cryptography from Learning Parity with Noise / Krzysztof Pietrzak -- Artificial Intelligence. A Quick Tour of Word Sense Disambiguation, Induction and Related Approaches / Roberto Navigli -- Not Another Look at the Turing Test! / Kevin Warwick -- Regular Papers -- Foundations of Computer Science -- The Equational Theory of Weak Complete Simulation Semantics over BCCSP / Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir -- Complexity Insights of the Minimum Duplication Problem / Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora -- A Turing Machine Resisting Isolated Bursts of Faults / Ilir Çapuni, Peter Gács -- Properties of SLUR Formulae / Ondřej Čepek, Petr Kučera, Václav Vlček
Unique-Maximum and Conflict-Free Coloring for Hypergraphs and Tree Graphs / Panagiotis Cheilaris, Balázs Keszegh, Dömötör Pálvölgyi -- Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration / Jean-François Couturier, Pinar Heggernes, Pim van't Hof, Dieter Kratsch -- Randomized Group Testing Both Query-Optimal and Minimal Adaptive / Peter Damaschke, Azam Sheikh Muhammad -- Complexity of Model Checking for Modal Dependence Logic / Johannes Ebbing, Peter Lohmann -- Multitape NFA: Weak Synchronization of the Input Heads / Ömer Eğecioğlu, Oscar H. Ibarra, Nicholas Q. Tran -- Visibly Pushdown Transducers with Look-Ahead / Emmanuel Filiot, Frédéric Servais -- A Generalization of Spira's Theorem and Circuits with Small Segregators or Separators / Anna Gál, Jing-Tang Jang -- Consistent Consequence for Boolean Equation Systems / Maciej W. Gazda, Tim A.C. Willemse -- 4-Coloring H-Free Graphs When H Is Small / Petr A. Golovach, Daniël Paulusma, Jian Song -- Computing q-Gram Non-overlapping Frequencies on SLP Compressed Texts / Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda
A Fast Approximation Scheme for the Multiple Knapsack Problem / Klaus Jansen -- Counting Maximal Independent Sets in Subcubic Graphs / Konstanty Junosza-Szaniawski, Michał Tuczyński -- Iterated Hairpin Completions of Non-crossing Words / Lila Kari, Steffen Kopecki, Shinnosuke Seki -- On the Approximation Ratio of the Path Matching Christofides Algorithm / Sacha Krug -- Parikh's Theorem and Descriptional Complexity / Giovanna J. Lavado, Giovanni Pighizzini -- A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs / Andrzej Lingas, Dzmitry Sledneu -- The Complexity of Small Universal Turing Machines: A Survey / Turlough Neary, Damien Woods -- A Sufficient Condition for Sets Hitting the Class of Read-Once Branching Programs of Width 3 / Jiří Šíma, Stanislav Žák -- Complete Problem for Perfect Zero-Knowledge Quantum Proof / Jun Yan -- An Algorithm for Probabilistic Alternating Simulation / Chenyi Zhang, Jun Pang -- Software and Web Engineering -- Towards a Smart, Self-scaling Cooperative Web Cache / Tomáš Černý, Petr Praus, Slávka Jaroměřská, Luboš Matl, Michael J. Donahoo -- Named Entity Disambiguation Based on Explicit Semantics / Martin Jačala, Jozef Tvarožek
Design Pattern Support Based on the Source Code Annotations and Feature Models / Peter Kajsa, Pavol Návrat -- On the Formalization of UML Activities for Component-Based Protocol Design Specifications / Prabhu Shankar Kaliappan, Hartmut König -- Tree Based Domain-Specific Mapping Languages / Elina Kalnina, Audris Kalnins, Agris Sostaks, Edgars Celms, Janis Iraids -- RESTGroups for Resilient Web Services / Tadeusz Kobus, Paweł T. Wojciechowski -- Leveraging Microblogs for Resource Ranking / Tomáš Majer, Marián Šimko -- Inner Architecture of a Social Networking System / Jaroslav Škrabálek, Petr Kunc, Tomáš Pitner -- State Coverage: Software Validation Metrics beyond Code Coverage / Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens -- Cryptography, Security, and Verification -- Factorization for Component-Interaction Automata / Nikola Beneš, Ivana Černá, Filip Štefaňák -- Optimizing Segment Based Document Protection / Mirosław Kutyłowski, Maciej Gębala -- Securing the Future -- An Information Flow Analysis of a Distributed OO Language / Martin Pettai, Peeter Laud -- Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation / Jan Stolarek, Piotr Lipiński -- Artificial Intelligence -- MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises / Roman Barták, Con Sheahan, Ann Sheahan -- Knowledge Compilation with Empowerment / Lucas Bordeaux, Joao Marques-Silva -- Cost-Sensitive Classification with Unconstrained Influence Diagrams / Jiří Iša, Zuzana Reitermanová, Ondřej Sýkora -- Modeling and Predicting Students Problem Solving Times / Petr Jarušek, Radek Pelánek -- Generic Heuristic Approach to General Game Playing / Jacek Mańdziuk, Maciej Świechowski -- The SiMoL Modeling Language for Simulation and (Re- )Configuration / Iulia Nica, Franz Wotawa
Summary Annotation This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in pindlerv Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence
Notes Online resource; title from PDF title page (SpringerLink; viewed Apr. 28, 2012)
Subject Computer science -- Congresses
Computer software -- Congresses
Computers -- Congresses
Cryptography -- Congresses
Artificial intelligence -- Congresses
Informatique.
Artificial intelligence
Computer science
Computer software
Computers
Cryptography
Genre/Form Conference papers and proceedings
Software.
Form Electronic book
Author Bielikova, Maria.
ISBN 9783642276606
3642276601