search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

SOFSEM (1)

Keyphrases

Publications

2007

Dominique Quadri, Éric Soutif, Pierre Tolla
A Branch-and-Bound Algorithm to Solve Large Scale Integer Quadratic Multi-Knapsack Problems. SOFSEM (1) (2007)
Josep Silva
A Program Slicing Based Method to Filter XML/DTD Documents. SOFSEM (1) (2007)
Jae-Kwon Seo, Kyung-Geun Lee
Mobility Management Using Virtual Domain in IPv6-Based Cellular Networks. SOFSEM (1) (2007)
Hua Wang, Zuquan Ge, Jun Ma
Self-adaptive Lagrange Relaxation Algorithm for Aggregated Multicast. SOFSEM (1) (2007)
Miroslaw Dynia, Miroslaw Korzeniowski, Jaroslaw Kutylowski
Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs. SOFSEM (1) (2007)
Javad Safaei, Gholamreza Ghassem-Sani
Incremental Learning of Planning Operators in Stochastic Domains. SOFSEM (1) (2007)
Martin Fürer, Shiva Prasad Kasiviswanathan
Exact Max 2-Sat: Easier and Faster. SOFSEM (1) (2007)
Vera Kurková
Estimates of Data Complexity in Neural-Network Learning. SOFSEM (1) (2007)
Mika Hirvensalo
Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. SOFSEM (1) (2007)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) (2007)
Hyunho Lee, Wonsuk Lee
Runtime-Efficient Approach for Multiple Continuous Filtering in XML Message Brokers. SOFSEM (1) (2007)
Sungwook Kim, Sungchun Kim
Online Service Management Algorithm for Cellular/WALN Multimedia Networks. SOFSEM (1) (2007)
Philippe Collet, Alain Ozanne, Nicolas Rivierre
Towards a Versatile Contract Model to Organize Behavioral Specifications. SOFSEM (1) (2007)
Hajo Broersma, Bert Marchal, Daniël Paulusma, A. N. M. Salman
-Backbone Colorings Along Matchings and Stars. SOFSEM (1) (2007)
Thomas A. Henzinger
Games, Time, and Probability: Graph Models for System Design and Analysis. SOFSEM (1) (2007)
M. Sohel Rahman, Costas S. Iliopoulos
Indexing Factors with Gaps. SOFSEM (1) (2007)
David Janin
On the (High) Undecidability of Distributed Synthesis Problems. SOFSEM (1) (2007)
Joachim Kneis, Daniel Mölle, Peter Rossmanith
Partial vs. Complete Domination: t-Dominating Set. SOFSEM (1) (2007)
Peter Bartalos, Michal Barla, György Frivolt, Michal Tvarozek, Anton Andrejko, Mária Bieliková, Pavol Návrat
Building an Ontological Base for Experimental Evaluation of Semantic Web Applications. SOFSEM (1) (2007)
Byungryong Kim
. SOFSEM (1) (2007)
Heinz W. Schmidt
Architecture-Based Reasoning About Performability in Component-Based Systems. SOFSEM (1) (2007)
Jianyin Zhang, Fangchun Yang, Kai Shuang, Sen Su
Immune-Inspired Online Method for Service Interactions Detection. SOFSEM (1) (2007)
Ricardo A. Baeza-Yates
Graphs from Search Engine Queries. SOFSEM (1) (2007)
Lukás Petru, Jirí Wiedermann
A Model of an Amorphous Computer and Its Communication Protocol. SOFSEM (1) (2007)
Markus Maier, Steffen Mecke, Dorothea Wagner
Algorithmic Aspects of Minimum Energy Edge-Disjoint Paths in Wireless Networks. SOFSEM (1) (2007)
Reza Ebrahimpour, Ehsanollah Kabir, Mohammad Reza Yousefi
Teacher-Directed Learning with Mixture of Experts for View-Independent Face Recognition. SOFSEM (1) (2007)
Yunja Choi
Checking Interaction Consistency in MARMOT Component Refinements. SOFSEM (1) (2007)
Tomas Matousek, Filip Zavoral
Extracting Zing Models from C Source Code. SOFSEM (1) (2007)
Oscar Pedreira, Nieves R. Brisaboa
Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces. SOFSEM (1) (2007)
Bastian Katz, Marco Gaertler, Dorothea Wagner
Maximum Rigid Components as Means for Direction-Based Localization in Sensor Networks. SOFSEM (1) (2007)
Yong Li, Fangchun Yang, Kai Shuang, Sen Su
A Semantic Peer-to-Peer Overlay for Web Services Discovery. SOFSEM (1) (2007)
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet
A Short Introduction to Computational Social Choice. SOFSEM (1) (2007)
Xin Chen, Zhiming Liu, Vladimir Mencl
Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) (2007)
Frantisek Galcík, Gabriel Semanisin
Maximum Finding in the Symmetric Radio Networks with Collision Detection. SOFSEM (1) (2007)
Su-Mi Lee, Su Youn Lee, Dong Hoon Lee
Efficient Group Key Agreement for Dynamic TETRA Networks. SOFSEM (1) (2007)
Yuichi Asahiro, Eiji Miyano, Shuichi Miyazaki, Takuro Yoshimuta
Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles. SOFSEM (1) (2007)
Raphaël Clifford, Benjamin Sach
Fast Approximate Point Set Matching for Information Retrieval. SOFSEM (1) (2007)
Ian D. Peake, Heinz W. Schmidt
Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. SOFSEM (1) (2007)
José Paulo Leal, Marcos Aurélio Domingues
Rapid Development of Web Interfaces to Heterogeneous Systems. SOFSEM (1) (2007)
Sun Park, Ju-Hong Lee, Deok-Hwan Kim, Chan-Min Ahn
Multi-document Summarization Based on Cluster Using Non-negative Matrix Factorization. SOFSEM (1) (2007)
Ruben Agadzanyan, Rusins Freivalds
Size of Quantum Finite State Transducers. SOFSEM (1) (2007)
Sergey Bereg, Markus Völker, Alexander Wolff, Yuanyi Zhang
Straightening Drawings of Clustered Hierarchical Graphs. SOFSEM (1) (2007)
Claudio Cubillos, Franco Guidi-Polanco, Ricardo Soto
Performance Analysis of a Multiagent Architecture for Passenger Transportation. SOFSEM (1) (2007)
Yefim Dinitz, Shay Solomon
On Optimal Solutions for the Bottleneck Tower of Hanoi Problem. SOFSEM (1) (2007)
Joe Tekli, Richard Chbeir, Kokou Yétongnon
A Hybrid Approach for XML Similarity. SOFSEM (1) (2007)
Xue Xiao, Zeng Zhifeng, Cui Ying
Agent Oriented Methodology Construction and Customization with HDA. SOFSEM (1) (2007)
Daesung Lee, Ki-Chang Kim, Year Back Yoo
Enhancing Security by Embedding Biometric Data in IP Header. SOFSEM (1) (2007)
Joel Ratsaby
Information Efficiency. SOFSEM (1) (2007)
Remco C. Veltkamp
Multimedia Retrieval Algorithmics. SOFSEM (1) (2007)

volume 4362, 2007

SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings SOFSEM (1) 4362 (2007)