10715 search results - page 216 / 2143 » Proofs from Tests |
147
click to vote
ISBI
2011
IEEE
14 years 7 months ago
2011
IEEE
In imaging genomics, there have been rapid advances in genome-wide, image-wide searches for genes that influence brain structure. Most efforts focus on univariate tests that treat...
133
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
In this work we study two, seemingly unrelated, notions. Locally Decodable Codes (LDCs) are codes that allow the recovery of each message bit from a constant number of entries of ...
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a measurement module that computes the charge from the transient supply current and provides a digital value of this magnitude. The module is constructed to provide a f...
126
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
117
click to vote
DDECS
2007
IEEE
15 years 5 months ago
2007
IEEE
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...