1585 search results - page 54 / 317 » A framework for computer-aided validation |
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper introduces a generalized framework, termed “stochastic cloning,” for processing relative state measurements within a Kalman filter estimator. The main motivation a...
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
ESM
2000
15 years 1 months ago
2000
Know-how is the most useful mean for designing new processors before a complete hardware description. The integration rate is increasing very quickly and the timeto-market has to ...
117
click to vote
AMT
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. In this paper, we propose a framework to improve the relevance of awareness information about people and subjects, by adapting recommendation techniques to real-time web ...
FLAIRS
2008
15 years 28 days ago
2008
We describe a framework for building intelligent tutoring systems that offer an advanced evaluation of learners' semantic knowledge. The knowledge model makes a pedagogical d...