198 search results - page 38 / 40 » Synthesizing racy tests |
166
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
197
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
188
click to vote
NIPS
2008
15 years 7 months ago
2008
We present an approach to low-level vision that combines two main ideas: the use of convolutional networks as an image processing architecture and an unsupervised learning procedu...
144
click to vote
IMAGING
2004
15 years 7 months ago
2004
There are two widely held theories of color constancy based on very different mechanisms: Chromatic Adaptation and Spatial Comparisons. Chromatic Adaptation is based on the change...
163
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....