Sciweavers

4973 search results - page 125 / 995
» Probabilistic Algorithms in Robotics
Sort
View
119
Voted
IROS
2007
IEEE
138views Robotics» more  IROS 2007»
15 years 11 months ago
Moth plume-tracing derived algorithm for identifying chemical source in near-shore ocean environments
– This paper derives a single chemical sensor based algorithm from the moth-inspired chemical plume strategies for identifying plume sources in fluid-advected environments. We ev...
Wei Li
140
Voted
ATAL
2005
Springer
15 years 10 months ago
Exploiting a sensed environment to improve human-agent communication
This paper describes an implemented robotic agent architecture in which the environment, as sensed by the agent, is used to guide the recognition of spoken and gestural directives...
Shana Watters, Tim Miller, Praveen Balachandran, W...
ICRA
1998
IEEE
143views Robotics» more  ICRA 1998»
15 years 8 months ago
Maximum Likelihood Rover Localization by Matching Range Maps
This paper describes maximum likelihood estimation techniques for performing rover localization in natural terrain by matching range maps. An occupancy map of the local terrain is...
Clark F. Olson, Larry Matthies
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
15 years 10 months ago
MRSAM: a Quadratically Competitive Multi-robot Online Navigation Algorithm
— We explore an online problem where a group of robots has to find a target whose position is unknown in an unknown planar environment whose geometry is acquired by the robots d...
Shahar Sarid, Amir Shapiro, Yoav Gabriely
TACAS
2007
Springer
110views Algorithms» more  TACAS 2007»
15 years 10 months ago
Counterexamples in Probabilistic Model Checking
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
Tingting Han, Joost-Pieter Katoen