385 search results - page 64 / 77 » Semi-automatic Distributed Synthesis |
ICDCS
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
CVPR
2001
IEEE
14 years 12 months ago
2001
IEEE
The recovery of 3D models from multiple reference images involves not only the extraction of 3D shape, but also of texture. Assuming that all surfaces are Lambertian, the resultin...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
Facial expression modeling is central to facial expression recognition and expression synthesis for facial animation. Previous works reported that modeling the facial expression wi...
ICIP
2007
IEEE
14 years 11 months ago
2007
IEEE
Recently, a new exemplar-based method for image completion, texture synthesis and image inpainting was proposed which uses a discrete global optimization strategy based on Markov ...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...