Sciweavers

2370 search results - page 258 / 474
» A Structured Set of Higher-Order Problems
Sort
View
IBERAMIA
2004
Springer
15 years 9 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 9 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 5 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 5 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 5 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