2038 search results - page 20 / 408 » Loops under Strategies |
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
HRI
2012
ACM
12 years 3 months ago
2012
ACM
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— We present a method for topological SLAM that specifically targets loop closing for edge-ordered graphs. Instead of using a heuristic approach to accept or reject loop closing...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
- This paper describes the study of the force-closure workspace of a 6-DOF, cable-driven, parallel robot for the application in a hardware-in-the-loop dynamic simulator, which is u...