Sciweavers

2370 search results - page 258 / 474
» A Structured Set of Higher-Order Problems
Sort
View
IBERAMIA
2004
Springer
15 years 12 months ago
Statistical Inference in Mapping and Localization for Mobile Robots
In this paper we tackle the problem of providing a mobile robot with the ability to build a map of its environment using data gathered during navigation. The data correspond to the...
Anita Araneda, Alvaro Soto
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 11 months ago
Information dissemination in networks via linear iterative strategies over finite fields
— Given an arbitrary network of interconnected nodes, each with an initial value from a discrete set, we consider the problem of distributively disseminating these initial values...
Shreyas Sundaram, Christoforos N. Hadjicostis
CLIMA
2004
15 years 7 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
NIPS
2003
15 years 7 months ago
Envelope-based Planning in Relational MDPs
A mobile robot acting in the world is faced with a large amount of sensory data and uncertainty in its action outcomes. Indeed, almost all interesting sequential decision-making d...
Natalia Hernandez-Gardiol, Leslie Pack Kaelbling
BMVC
2000
15 years 7 months ago
Recognizing Objects From Curvilinear Motion
This paper introduces an object recognition strategy based on the following premises: i) an object can be identified on the basis of the optical flow it induces on a stationary ob...
Tal Arbel, Frank P. Ferrie, Marcel Mitran