8828 search results - page 1473 / 1766 » Formal methods in practice |
172
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Geographic routing protocols like GOAFR or GPSR rely on exact location information at the nodes, because when the greedy routing phase gets stuck at a local minimum, they requir...
172
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we present an approach that applies the reinforcement learning principle to the problem of learning height control policies for aerial blimps. In contrast to pre...
159
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We present an efficient algorithm for complete motion planning that combines approximate cell decomposition (ACD) with probabilistic roadmaps (PRM). Our approach uses ...
193
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
Video matting is the process of taking a sequence of frames, isolating the foreground, and replacing the background with something different in each frame. This is an under-constr...
158
click to vote
SSDBM
2007
IEEE
16 years 1 months ago
2007
IEEE
K-anonymity is a simple yet practical mechanism to protect privacy against attacks of re-identifying individuals by joining multiple public data sources. All existing methods achi...