6615 search results - page 236 / 1323 » Indexing Multiple Sets |
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
145
click to vote
SIAMDM
1998
15 years 6 months ago
1998
Consider the problem of transporting a set of objects between the vertices of a simple graph by a vehicle that traverses the edges of the graph. The problem of finding a shortest...
177
click to vote
PRL
2002
15 years 6 months ago
2002
This paper proposes a wavelet based edge detection scheme by scale multiplication. The dyadic wavelet transforms at two adjacent scales are multiplied as a product function to mag...
194
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a low-cost tracking algorithm based on multiple multiple fragments, increasing robustness with respect to partial occlusions. Given the initial template repres...
163
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper addresses the problem of reconstructing the geometry and color of a Lambertian scene, given some fully calibrated images acquired with wide baselines. In order to compl...