2850 search results - page 5 / 570 » On Timed Models and Full Abstraction |
DATE
2000
IEEE
13 years 11 months ago
2000
IEEE
We study the effectiveness of functional tests for full scan circuits. Functional tests are important for design validation, and they potentially have a high defect coverage indep...
TIME
1998
IEEE
13 years 11 months ago
1998
IEEE
IVA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
ICICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In a paper published in FSE 2007, a way of obtaining nearcollisions and in theory also collisions for the FORK-256 hash function was presented [8]. The paper contained ex...
SBIA
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...