228 search results - page 23 / 46 » Synthesis from Production-Based Specifications |
SIGGRAPH
1990
ACM
14 years 20 days ago
1990
ACM
The use of physically-based techniques for computer animation can result in realistic object motion. The price paid for physically-based motion synthesis lies in increased computa...
IJCV
2006
13 years 8 months ago
2006
Understanding facial expressions in image sequences is an easy task for humans. Some of us are capable of lipreading by interpreting the motion of the mouth. Automatic lipreading b...
CGF
2006
13 years 8 months ago
2006
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
ENTCS
2002
13 years 8 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...