2621 search results - page 29 / 525 » Near orders and codes |
DASFAA
2010
IEEE
14 years 1 months ago
2010
IEEE
The skyline of a set P of multi-dimensional points (tuples) consists of those points in P for which no clearly better point in P exists, using component-wise comparison on domains ...
IPL
2008
13 years 8 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
CGF
2011
13 years 2 days ago
2011
We accelerate the finding of occluders in tree based acceleration structures, such as a packetized BVH and a single ray kd-tree, by deriving the ray termination surface area heur...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
This paper proposes a framework of scalable motion estimation and coding with the structure of multi-layers for 3D wavelet video coding. The motion representation consists of mult...