SOFSEM B

68 papers

YearTitle / Authors
20083D_XML: A Three-Dimensional XML-Based Model.
Khadija Abied Ali, Jaroslav Pokorný
2008A Highly Efficient XML Compression Scheme for the Web.
Przemyslaw Skibinski, Jakub Swacha, Szymon Grabowski
2008A Memetic Algorithm for Global Induction of Decision Trees.
Marek Kretowski
2008A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns.
Costas S. Iliopoulos, M. Sohel Rahman
2008A Sensitive Metaheuristic for Solving a Large Optimization Problem.
Camelia-Mihaela Pintea, Camelia Chira, D. Dumitrescu, Petrica C. Pop
2008A Useful Bounded Resource Functional Language.
Michael J. Burrell, James H. Andrews, Mark Daley
2008Algebraic Optimization of Relational Queries with Various Kinds of Preferences.
Radim Nedbal
2008Algorithm for Intelligent Prediction of Requests in Business Systems.
Piotr Kalita, Igor T. Podolak, Adam Roman, Bartosz Bierkowski
2008Algorithmic Problems for Metrics on Permutation Groups.
Vikraman Arvind, Pushkar S. Joglekar
2008An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points.
Boguslaw Cyganek
2008An Automata Theoretic Approach to Rational Tree Relations.
Frank G. Radmacher
2008Assisted Problem Solving and Decompositions of Finite Automata.
Peter Gazi, Branislav Rovan
2008Basic Sets in the Digital Plane.
Neza Mramor-Kosta, Eva Trenklerová
2008Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa.
Martin Dzbor
2008Certification of Proving Termination of Term Rewriting by Matrix Interpretations.
Adam Koprowski, Hans Zantema
2008Classification, Formalization and Verification of Security Functional Requirements.
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2008Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers.
Nieves R. Brisaboa, Oscar Pedreira, Diego Seco, Roberto Solar, Roberto Uribe
2008Compression of Concatenated Web Pages Using XBW.
Radovan Sesták, Jan Lansky
2008Computing Longest Common Substring and All Palindromes from Compressed Strings.
Wataru Matsubara, Shunsuke Inenaga, Akira Ishino, Ayumi Shinohara, Tomoyuki Nakamura, Kazuo Hashimoto
2008Creation, Population and Preprocessing of Experimental Data Sets for Evaluation of Applications for the Semantic Web.
György Frivolt, Ján Suchal, Richard Vesely, Peter Vojtek, Oto Vozár, Mária Bieliková
2008Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.
Mila E. Majster-Cederbaum, Christoph Minnameier
2008Describing Self-assembly of Nanostructures.
Natasa Jonoska, Gregory L. McColm
2008Designing Adaptive Web Applications.
Peter Dolog
2008Domain Name System as a Memory and Communication Medium.
Dusan Bernát
2008Element Distinctness and Sorting on One-Tape Off-Line Turing Machines.
Holger Petersen
2008Energy-Efficient Windows Scheduling.
Christian Gunia
2008Exact OBDD Bounds for Some Fundamental Functions.
Beate Bollig, Niko Range, Ingo Wegener
2008Extension of Rescheduling Based on Minimal Graph Cut.
Marián Lekavý, Pavol Návrat
2008From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.
Julien Bernet, David Janin
2008Geometric Rates of Approximation by Neural Networks.
Vera Kurková, Marcello Sanguineti
2008How Much Information about the Future Is Needed?
Stefan Dobrev, Rastislav Kralovic, Dana Pardubská
2008Improved Bounds for Range Mode and Range Median Queries.
Holger Petersen
2008Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation.
Michal Tvarozek, Michal Barla, György Frivolt, Marek Tomsa, Mária Bieliková
2008Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata.
Adam Roman, Wit Forys
2008Mining Personal Social Features in the Community of Email Users.
Przemyslaw Kazienko, Katarzyna Musial
2008Mortality Problem for 2×2 Integer Matrices.
C. Nuccio, Emanuele Rodaro
2008ONN the Use of Neural Networks for Data Privacy.
Jordi Pont-Tuset, Pau Medrano-Gracia, Jordi Nin, Josep Lluís Larriba-Pey, Victor Muntés-Mulero
2008On Compiling Structured Interactive Programs with Registers and Voices.
Cezara Dragoi, Gheorghe Stefanescu
2008On Reachability Games of Ordinal Length.
Julien Cristau, Florian Horn
2008On the Hardness of Reoptimization.
Hans-Joachim Böckenhauer, Juraj Hromkovic, Tobias Mömke, Peter Widmayer
2008On the Undecidability of the Tiling Problem.
Jarkko Kari
2008Optimal Orientation On-Line.
Lech Duraj, Grzegorz Gutowski
2008Optimizing Winning Strategies in Regular Infinite Games.
Wolfgang Thomas
2008Parallel Immune System for Graph Coloring.
Jacek Dabrowski
2008Periodic and Infinite Traces in Matrix Semigroups.
Paul Bell, Igor Potapov
2008Practical Deniable Encryption.
Marek Klonowski, Przemyslaw Kubiak, Miroslaw Kutylowski
2008Proofs of Communication and Its Application for Fighting Spam.
Marek Klonowski, Tomasz Struminski
2008Quantum Random Walks - New Method for Designing Quantum Algorithms.
Andris Ambainis
2008Quantum Walks with Multiple or Moving Marked Locations.
Andris Ambainis, Alexander Rivosh
2008Quantum Walks: A Markovian Perspective.
Diego de Falco, Dario Tamascelli
2008Recursive Domain Equations of Filter Models.
Fabio Alessi, Paula Severi
2008Remote Entrusting by Run-Time Software Authentication.
Mariano Ceccato, Yoram Ofek, Paolo Tonella
2008SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings
Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková
2008Short Ballot Assumption and Threeballot Voting Protocol.
Jacek Cichon, Miroslaw Kutylowski, Bogdan Weglorz
2008Slicing Petri Nets with an Application to Workflow Verification.
Astrid Rakow
2008Social Information Access: The Other Side of the Social Web.
Peter Brusilovsky
2008Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality.
Bruno Escoffier, Jérôme Monnot, Olivier Spanjaard
2008Strong Authentication over Lock-Keeper.
Feng Cheng, Christoph Meinel
2008Taming of Pict.
Matej Kosík
2008The Dynamic Web Presentations with a Generality Model on the News Domain.
Hyun Woong Shin, Eduard H. Hovy, Dennis McLeod
2008The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring.
Jurek Czyzowicz, Stefan Dobrev, Evangelos Kranakis, Danny Krizanc
2008The Quantum Complexity of Group Testing.
Sebastian Dörn, Thomas Thierauf
2008Threshold Privacy Preserving Keyword Searches.
Peishun Wang, Huaxiong Wang, Josef Pieprzyk
2008Trusted Computing - Special Aspects and Challenges.
Ahmad-Reza Sadeghi
2008Untangling a Planar Graph.
Andreas Spillner, Alexander Wolff
2008Verifying Parameterized taDOM+ Lock Managers.
Antti Siirtola, Michal Valenta
2008Visual Exploration of RDF Data.
Jirí Dokulil, Jana Katreniaková
2008Web Pages Reordering and Clustering Based on Web Patterns.
Milos Kudelka, Václav Snásel, Ondrej Lehecka, Eyas El-Qawasmeh, Jaroslav Pokorný