198 search results - page 38 / 40 » Synthesizing racy tests |
FASE
2006
Springer
14 years 1 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...
DAC
2010
ACM
14 years 1 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...
NIPS
2008
13 years 11 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...
IMAGING
2004
13 years 11 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...
BMCBI
2007
13 years 10 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....