6693 search results - page 1140 / 1339 » On an anytime algorithm for control |
ICCD
2000
IEEE
14 years 24 days ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
ICRA
2000
IEEE
14 years 23 days ago
2000
IEEE
Grasping a curved object free in the plane may be done through rolling a pair of fingers on the object’s boundary. Each finger is equipped with a tactile sensor able to record...
ICRA
2000
IEEE
14 years 23 days ago
2000
IEEE
This paper presents a randomized motion planner for kinodynamic asteroidavoidanceproblems, in which a robot must avoid collision with moving obstacles under kinematic, dynamic con...
INFOCOM
2000
IEEE
14 years 23 days ago
2000
IEEE
Abstract—We introduce and analyze CARMA-MC (for Collision Avoidance and Resolution Multiple Access MultiChannel), a new stable channel access protocol for multihop wireless netwo...
INFOVIS
2000
IEEE
14 years 23 days ago
2000
IEEE
We describe MGV, an integrated visualization and exploration system for massive multi-digraph navigation. MGV’s only assumption is that the vertex set of the underlying digraph ...