Sciweavers

6274 search results - page 88 / 1255
» From query complexity to computational complexity
Sort
View
IANDC
2010
68views more  IANDC 2010»
13 years 8 months ago
On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
Antonín Kucera, Richard Mayr
IWPEC
2009
Springer
14 years 4 months ago
Paths of Bounded Length and Their Cuts: Parameterized Complexity and Algorithms
We study the parameterized complexity of two families of problems: the bounded length disjoint paths problem and the bounded length cut problem. From Menger’s theorem both proble...
Petr A. Golovach, Dimitrios M. Thilikos
RT
2001
Springer
14 years 2 months ago
Interactive Distributed Ray Tracing of Highly Complex Models
Abstract. Many disciplines must handle the creation, visualization, and manipulation of huge and complex 3D environments. Examples include large structural and mechanical engineeri...
Ingo Wald, Philipp Slusallek, Carsten Benthin, Mar...
PODS
2006
ACM
98views Database» more  PODS 2006»
14 years 10 months ago
Processing queries on tree-structured data efficiently
This is a survey of algorithms, complexity results, and general solution techniques for efficiently processing queries on tree-structured data. I focus on query languages that com...
Christoph Koch
CVPR
2005
IEEE
15 years 1 days 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