5128 search results - page 101 / 1026 » When Abstraction Fails |
262
click to vote
DAGM
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents an approach for applying a dual quaternion hand– eye calibration algorithm on an endoscopic surgery robot. Special focus is on robustness, since the error of ...
146
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
147
Voted
WEA
2009
Springer
15 years 9 months ago
2009
Springer
Flash memory-based solid-state disks are fast becoming the dominant form of end-user storage devices, partly even replacing the traditional hard-disks. Existing two-level memory hi...
146
click to vote
COLT
2001
Springer
15 years 9 months ago
2001
Springer
We present results concerning the learning of Monotone DNF (MDNF) from Incomplete Membership Queries and Equivalence Queries. Our main result is a new algorithm that allows effici...
154
click to vote
FMSP
2000
ACM
15 years 9 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...