5015 search results - page 471 / 1003 » Model Checking a Path |
174
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
150
click to vote
IV
1999
IEEE
15 years 11 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
199
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Surgical simulation is a promising technology for training medical students and planning procedures. One major requirement for these simulation systems is a method to generate real...
176
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
The propagation characteristics of electromagnetic (EM) waves in tunnels are significantly different from those in terrestrial environment. However, the current tunnel channel mode...
183
click to vote
TCS
2008
15 years 6 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...