956 search results - page 32 / 192 » Dimensions in program synthesis |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
To increase the believability and life-likeness of Embodied Conversational Agents (ECAs), we introduce a behavior synthesis technique for the generation of expressive gesturing. A...
VL
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The speech parameter generation algorithm considering global variance (GV) for HMM-based speech synthesis proved to be effective against the over-smoothing problem. However, the c...