1585 search results - page 13 / 317 » A framework for computer-aided validation |
68
Voted
BIOINFORMATICS
2002
15 years 2 months ago
2002
TKDD
2008
15 years 1 months ago
2008
108
click to vote
ICRA
2010
IEEE
15 years 1 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...
255
Voted
COSIT
2011
Springer
14 years 2 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...
89
Voted
DAC
2002
ACM
16 years 3 months 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...