2333 search results - page 235 / 467 » Recursive Computational Depth |
194
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we discuss the design of a highly-parallel motion estimator for real-time Scalable Video Coding (SVC). In an SVC, motion is commonly estimated bidirectionally and o...
292
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
We present ViteX, an XPath processing system on XML streams with polynomial time complexity. ViteX uses a polynomial-space data structure to encode an exponential number of patter...
162
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
166
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
158
click to vote
COCOON
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Phylogenetic reconstruction from gene-rearrangement data is attracting increasing attention from biologists and computer scientists. Methods used in reconstruction includ...