1329 search results - page 205 / 266 » Constraint-based model synthesis |
170
click to vote
CVIU
2004
15 years 6 months ago
2004
Substantial evidence supports a relationship between gait perception and gait synthesis. Furthermore, passive mechanical systems demonstrate that the jointed leg systems of humans...
149
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
A layered method is presented in this paper to resolve the visibility problem in depth image-based rendering. A novel three-layer representation for each reference view, i.e. the ...
168
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the way they cope with variability, present-day methodologies are onerous, pessimistic and risky, all at the same time! Dealing with variability is an increasingly important as...
146
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
160
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...