64 search results - page 11 / 13 » Synthesis of locally exhaustive test pattern generators |
TOG
2008
13 years 5 months ago
2008
This paper presents an optimization-based halftoning technique that preserves the structure and tone similarities between the original and the halftone images. By optimizing an ob...
AFRIGRAPH
2007
ACM
13 years 10 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
SIGMOD
2004
ACM
14 years 6 months ago
2004
ACM
Schema matching is a critical problem for integrating heterogeneous information sources. Traditionally, the problem of matching multiple schemas has essentially relied on finding ...
BC
2008
13 years 6 months ago
2008
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...
ISCAS
2006
IEEE
14 years 15 hour ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...