4973 search results - page 133 / 995 » Probabilistic Algorithms in Robotics |
139
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
153
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
A tele-operated system in a robot greatly reduces the demands on the human operator, although some human intervention is still required to perform such tasks as insulator recognit...
184
Voted
SIMPAR
2010
15 years 3 months ago
2010
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
129
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most test-selection algorithms currently in use with probabilistic networks select variables myopically, that is, test variables are selected sequentially, on a one-by-on...
140
Voted
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— The ability of mobile robots to generate feasible trajectories online is an important requirement for their autonomous operation in unstructured environments. Many path generat...