5015 search results - page 682 / 1003 » Model Checking a Path |
168
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We propose an approach for acquiring geometric 3D models using cameras mounted on autonomous vehicles and robots. Our method uses structure from motion techniques from computer...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— An active cannula is a medical device composed of thin, pre-curved, telescoping tubes that may enable many new surgical procedures. Planning optimal motions for these devices i...
169
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— Double patterning lithography (DPL) is in current production for memory products, and is widely viewed as inevitable for logic products at the 32nm node. DPL decomposes...
208
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
We demonstrate one of the potential paths of the evolution of wiki engines towards Web 3.0. We introduce 3dWiki - the 3D wiki engine, which was built according to 2-Layer Interfac...
163
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present an optimization-based approach to grasping and path planning for mobile manipulators. We focus on pick-and-place operations, where a given object must be moved from ...