Sciweavers

9842 search results - page 282 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
SIGMOD
2005
ACM
127views Database» more  SIGMOD 2005»
16 years 3 months ago
A framework for processing complex document-centric XML with overlapping structures
The key of overlapping structures or concurrent markup hierarchies in XML encodings of documents is that markup in one hierarchy is not necessarily well-formed with respect to the...
Ionut Emil Iacob, Alex Dekhtyar
108
Voted
VMCAI
2010
Springer
16 years 26 days ago
Complexity Bounds for the Verification of Real-Time Software
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahe...
128
Voted
ER
2007
Springer
173views Database» more  ER 2007»
15 years 9 months ago
Cost-Based Fragmentation for Distributed Complex Value Databases
The major purpose of the design of distributed databases is to improve system performance and to increase system reliability. Fragmentation and allocation play important roles in t...
Hui Ma, Markus Kirchberg
CVPR
2005
IEEE
16 years 5 months ago
Complex 3D Shape Recovery Using a Dual-Space Approach
This paper presents a novel method for reconstructing complex 3D objects with unknown topology using silhouettes extracted from image sequences. This method exploits the duality p...
Chen Liang, Kwan-Yee Kenneth Wong
131
Voted
PODS
2007
ACM
171views Database» more  PODS 2007»
16 years 3 months ago
The complexity of reasoning about pattern-based XML schemas
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
Gjergji Kasneci, Thomas Schwentick