32. SOFSEM 2006:
Merín,
Czech Republic
Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Julius Stuller (Eds.):
SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings.
Lecture Notes in Computer Science 3831 Springer 2006, ISBN 3-540-31198-X BibTeX
Invited Talks
Regular Papers
- Jochen Alber, Britta Dorn, Rolf Niedermeier:
A General Data Reduction Scheme for Domination in Graphs.
137-147
Electronic Edition (link) BibTeX
- Xavier Baril, Zohra Bellahsene:
Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources.
148-157
Electronic Edition (link) BibTeX
- Aleksandrs Belovs:
Non-intersecting Complexity.
158-165
Electronic Edition (link) BibTeX
- Marc Benkert, Joachim Gudmundsson, Herman J. Haverkort, Alexander Wolff:
Constructing Interference-Minimal Networks.
166-176
Electronic Edition (link) BibTeX
- Sergey Bereg, Nikolaus Mutsanas, Alexander Wolff:
Matching Points with Rectangles and Squares.
177-186
Electronic Edition (link) BibTeX
- Bernd Borchert, Klaus Reinhardt:
Searching Paths of Constant Bandwidth.
187-196
Electronic Edition (link) BibTeX
- Franz-Josef Brandenburg, Stephanie Herrmann:
Graph Searching and Search Time.
197-206
Electronic Edition (link) BibTeX
- Donghuo Chen, Jinzhao Wu:
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.
207-217
Electronic Edition (link) BibTeX
- Manolis Christodoulakis, Costas S. Iliopoulos, Yoan José Pinzón Ardila:
Simple Algorithm for Sorting the Fibonacci String Rotations.
218-225
Electronic Edition (link) BibTeX
- Jean-François Culus, Marc Demange:
Oriented Coloring: Complexity and Approximation.
226-236
Electronic Edition (link) BibTeX
- Frank K. H. A. Dehne, Michael R. Fellows, Henning Fernau, Elena Prieto, Frances A. Rosamond:
NONBLOCKER: Parameterized Algorithmics for minimum dominating set.
237-245
Electronic Edition (link) BibTeX
- Ilze Dzelme:
Quantum Finite Automata and Logics.
246-253
Electronic Edition (link) BibTeX
- Sang Hun Eo, Suraj Pandey, Myung-Keun Kim, Young-Hwan Oh, Hae-Young Bae:
FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks.
254-261
Electronic Edition (link) BibTeX
- Henning Fernau:
ROMAN DOMINATION: A Parameterized Perspective.
262-271
Electronic Edition (link) BibTeX
- Andrey Fomichev, Maxim Grinev, Sergei D. Kuznetsov:
Sedna: A Native XML DBMS.
272-281
Electronic Edition (link) BibTeX
- Leszek Gasieniec, Evangelos Kranakis, Danny Krizanc, X. Zhang:
Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring.
282-292
Electronic Edition (link) BibTeX
- Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki:
The Knowledge Cartography - A New Approach to Reasoning over Description Logics Ontologies.
293-302
Electronic Edition (link) BibTeX
- Jiong Guo, Falk Hüffner, Erhan Kenar, Rolf Niedermeier, Johannes Uhlmann:
Complexity and Exact Algorithms for Multicut.
303-312
Electronic Edition (link) BibTeX
- Furman Haddix, Kalyan Pydipati:
Using Extensible Heterogeneous Database Transformers.
313-322
Electronic Edition (link) BibTeX
- Lane A. Hemaspaandra, Leen Torenvliet:
P-Selectivity, Immunity, and the Power of One Bit.
323-331
Electronic Edition (link) BibTeX
- Krzysztof Kaczmarski:
Transparent Migration of Database Services.
332-340
Electronic Edition (link) BibTeX
- Marcin Kik:
Merging and Merge-Sort in a Single Hop Radio Network.
341-349
Electronic Edition (link) BibTeX
- Pok-Son Kim, Arne Kutzner:
On Optimal and Efficient in Place Merging.
350-359
Electronic Edition (link) BibTeX
- Young Ji Kim, Hyeon Jeong Mun, Jae Young Lee, Yong Tae Woo:
A Personalized Recommendation System Based on PRML for E-Commerce.
360-369
Electronic Edition (link) BibTeX
- Young Kim, Sang Ho Park, Tae-Soon Kim, Ju-Hong Lee, Tae-Su Park:
An Efficient Index Scheme for XML Databases.
370-378
Electronic Edition (link) BibTeX
- Joachim Kupke:
On Separating Constant from Polynomial Ambiguity of Finite Automata.
379-388
Electronic Edition (link) BibTeX
- Jaroslaw Kutylowski, Filip Zagórski:
Reliable Broadcasting Without Collision Detection.
389-398
Electronic Edition (link) BibTeX
- Michal Lentner, Krzysztof Stencel, Kazimierz Subieta:
Semi-strong Static Type Checking of Object-Oriented Query Languages.
399-408
Electronic Edition (link) BibTeX
- Ginés Moreno:
Building a Fuzzy Transformation System.
409-418
Electronic Edition (link) BibTeX
- Adam Niewiadomski:
News Generating Via Fuzzy Summarization of Databases.
419-429
Electronic Edition (link) BibTeX
- Jean-Pierre Norguet, Esteban Zimányi, Ralf Steinberger:
Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis.
430-439
Electronic Edition (link) BibTeX
- Saeed Parsa, Vahid Khalilpoor:
Automatic Distribution of Sequential Code Using JavaSymphony Middleware.
440-450
Electronic Edition (link) BibTeX
- Tomas Plachetka:
Unifying Framework for Message Passing.
451-460
Electronic Edition (link) BibTeX
- Claudia Pons:
Heuristics on the Definition of UML Refinement Patterns.
461-470
Electronic Edition (link) BibTeX
- Daniel Sawitzki:
The Complexity of Problems on Implicitly Represented Inputs.
471-482
Electronic Edition (link) BibTeX
- Pavel Smrz, Vladimír Kadlec:
How Many Dots Are Really Needed for Head-Driven Chart Parsing?.
483-492
Electronic Edition (link) BibTeX
- Pavel Smrz, Vít Novácek:
Ontology Acquisition for Automatic Building of Scientific Portals.
493-500
Electronic Edition (link) BibTeX
- Shaoxu Song, Chunping Li:
Improved ROCK for Text Clustering Using Asymmetric Proximity.
501-510
Electronic Edition (link) BibTeX
- Svetlana Strunjas-Yoshikawa, Fred S. Annexstein, Kenneth A. Berman:
Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet.
511-520
Electronic Edition (link) BibTeX
- Jukka Suomela:
Computational Complexity of Relay Placement in Sensor Networks.
521-529
Electronic Edition (link) BibTeX
- Jirí Síma, Satu Elisa Schaeffer:
On the NP-Completeness of Some Graph Cluster Measures.
530-537
Electronic Edition (link) BibTeX
- Suat Ugurlu, Nadia Erdogan:
A Flexible Policy Architecture for Mobile Agents.
538-547
Electronic Edition (link) BibTeX
- Eun-Jun Yoon, Kee-Young Yoo:
An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority.
548-555
Electronic Edition (link) BibTeX
- Grazyna Zwozniak:
Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three.
556-564
Electronic Edition (link) BibTeX
The Best Student Paper
DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Copyright © Sat Dec 22 20:25:24 2007
by Michael Ley (ley@uni-trier.de)