8699 search results - page 1452 / 1740 » Elements of the Theory of Computation |
149
click to vote
ICRA
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper presents the Visual Threat Awareness (VISTA) system for real time collision obstacle detection for an unmanned air vehicle (UAV). Computational stereo performance ha...
160
click to vote
INFOCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically fail to detect attacks and also gener...
202
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
– In Bayesian based approaches to mobile robot simultaneous localization and mapping, Rao-Blackwellized particle filters (RBPF) enable the efficient estimation of the posterior b...
201
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
175
click to vote
ACMICEC
2006
ACM
16 years 21 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...