426 search results - page 31 / 86 » SAT-Based Techniques in System Synthesis |
ASIAN
2004
Springer
14 years 1 months ago
2004
Springer
Natural images and photographs sometimes may contain stains or undesired objects covering significant portions of the images. Inpainting is a method to fill in such portions using ...
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
DAC
1994
ACM
14 years 15 days ago
1994
ACM
Asynchronous circuits are crucial in designing low power and high performance digital systems. In this paper, we present an ecient modular partitioning approach for asynchronous c...
ICMCS
2000
IEEE
14 years 24 days ago
2000
IEEE
—This paper describes a morphing-based audio driven facial animation system. Based on an incoming audio stream, a face image is animated with full lip synchronization and synthes...
LOPSTR
1997
Springer
14 years 17 days ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...