5015 search results - page 475 / 1003 » Model Checking a Path |
178
click to vote
JIRS
1998
15 years 6 months ago
1998
Abstract. The paper deals with the application of model reference adaptive control to robot impedance control, which is actually a technique of steering the end-effector on a presc...
183
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--A random matrix model is introduced that probabilistically describes the spatial and temporal multipath propagation between a transmitting and receiving antenna array wit...
166
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Predicting accurately the spatiotemporal evolution of a diffusive environmental hazard is of paramount importance for its effective containment. We approximate the front line of a...
179
click to vote
ICRA
2006
IEEE
16 years 26 days ago
2006
IEEE
— The configuration space of a robot is partitioned into free space and C-obstacle space. Most of the prior work in collision detection and motion planning algorithms is targete...
218
click to vote
CL
2008
Springer
15 years 7 months ago
2008
Springer
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...