10715 search results - page 319 / 2143 » Proofs from Tests |
182
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
206
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
175
click to vote
IMF
2007
15 years 8 months ago
2007
: Forensic hash tools are usually used to prove and protect the integrity of digital evidence: When a file is intercepted by law enforcement, a cryprographic fingerprint is taken...
212
click to vote
UAI
2001
15 years 8 months ago
2001
In this paper we present a method of computing the posterior probability of conditional independence of two or more continuous variables from data, examined at several resolutions...
182
click to vote
CSREAESA
2009
15 years 7 months ago
2009
A Built-In Self-Test (BIST) approach is presented for the Internal Configuration Access Port (ICAP) and Frame Error Correcting Code (ECC) logic cores embedded in Xilinx Virtex-4 an...