1649 search results - page 177 / 330 » Improved Matrix Interpretation |
115
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
Model based error compensation of a robotic manipulator, also known as robot calibration, requires the identification of its generalized errors. These errors are found from measur...
143
click to vote
FPL
1999
Springer
15 years 8 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
148
click to vote
FUZZY
1999
Springer
15 years 8 months ago
1999
Springer
The clinical interpretation of fetal heart rate traces is a difficult task that has led to the development computerised assessment systems. These systems are limited by their inabi...
170
click to vote
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
132
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...