1421 search results - page 149 / 285 » Satisfying KBO Constraints |
174
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
Abstract. We present a continuous optimization framework for interactive tracking of 2D generic objects in a single video stream. The user begins with specifying the locations of a...
276
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we introduce new notions of k-type anonymizations. Those notions achieve similar privacy goals as those aimed by Sweenie and Samarati when proposing the concept of k-...
311
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce a novel query type defined over streaming moving object data, namely, the Continuous Motion Pattern (CMP) Queries. A motion pattern is defined as a sequence of distin...
192
Voted
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— We incorporate sampling-based global path planning with Visual Servoing (VS) for a robotic arm equipped with an in-hand camera. The path planning accounts for a number ...
175
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...