3066 search results - page 136 / 614 » On Facilitating Automated Evaluation |
VTS
2006
IEEE
14 years 3 months ago
2006
IEEE
A statistical technique X-IDDQ for extracting defect information from IDDQ data is presented that is effective for detection of defects in ICs. The technique treats the IDDQ measu...
MIRRORBOT
2005
Springer
14 years 2 months ago
2005
Springer
We present a virtual reality platform for developing and evaluating embodied models of cognitive development. The platform facilitates structuring of the learning agent, of its vi...
ICPR
2000
IEEE
14 years 1 months ago
2000
IEEE
Generation of ground-truths is of great importance for unbiased performance evaluation of document layout analysis methods. This is especially necessary because many methods are c...
LOPSTR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...