3317 search results - page 334 / 664 » Strategies in Rigid-Variable Methods |
182
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
180
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose an approach to speeding up object detection, with an emphasis on settings where multiple object classes are being detected. Our method uses a segmentation algorithm to ...
163
click to vote
DASFAA
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract. Besides topological relations and approximate relations, cardinal directions have turned out to be an important class of qualitative spatial relations. In spatial databas...
181
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we present gBook, a prototype for a new style of e-Book reader that uses flexible inputs and page orientation to simulate the properties of reading a bound printed ...
176
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...