1585 search results - page 13 / 317 » A framework for computer-aided validation |
BIOINFORMATICS
2002
14 years 11 months ago
2002
TKDD
2008
14 years 11 months ago
2008
81
Voted
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper, divided in two Parts, considers the problem of realizing a 6-DOF closed-loop motion simulator by exploiting an anthropomorphic serial manipulator as motion platform...
211
click to vote
COSIT
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
DAC
2002
ACM
16 years 21 days ago
2002
ACM
CT The traditional approach to worst-case static-timing analysis is becoming unacceptably conservative due to an ever-increasing number of circuit and process effects. We propose a...