3456 search results - page 16 / 692 » Algorithms for Interface Synthesis |
CHI
2002
ACM
14 years 8 months ago
2002
ACM
Traditional musical instruments have a direct connection between the way they are played or controlled and the properties of the sound produced. This connectedness has, in general...
SOFSEM
2012
Springer
12 years 3 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper describes a novel algorithm for the efficient synthesis of high-quality virtual views from only two input images. The emphasis is on the recovery of continuity of objec...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
CMMR
2005
Springer
14 years 1 months ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...