1001 search results - page 150 / 201 » Testing Formal Dialectic |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper considers the problem of model based control of the joints of a snake robot without wheels. The potential range of applications for snake robots are numerous, and de...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...