4520 search results - page 622 / 904 » Algebraic Techniques for Timed Systems |
135
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
We present preliminary work on a novel technique for tracking anatomical structures during medical procedures. A vascular balloon catheter is placed within a vessel in the structur...
195
click to vote
ASAP
2000
IEEE
15 years 11 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
173
click to vote
EH
2000
IEEE
15 years 11 months ago
2000
IEEE
The GOLEM project is an attempt to extend evolutionary techniques into the physical world by evolving diverse electro-mechanical machines (robots) that can be fabricated automatic...
152
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
The main effort in oscillator phase noise calculation lies in computing a vector function called the Perturbation Projection Vector (PPV). Current techniques for PPV calculation u...
144
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
—In this paper, we introduce a new approach to fault detection for robot manipulators. The technique, which is based on the isolation of fault signatures via filtered torque pred...