3820 search results - page 536 / 764 » Bounded Model Debugging |
124
click to vote
EDBT
2004
ACM
15 years 8 months ago
2004
ACM
Abstract. We present a cost-based adaptive clustering method to improve average performance of spatial queries (intersection, containment, enclosure queries) over large collections...
128
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a novel approach that achieves complete matching of 3D dynamic surfaces. Surfaces are captured from multi-view video data and represented by sequences of 3D ma...
121
click to vote
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
154
click to vote
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
127
click to vote
COOPIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...