1329 search results - page 83 / 266 » Constraint-based model synthesis |
150
Voted
ADS
2004
Springer
15 years 9 months ago
2004
Springer
Laughter is a powerful means of emotion expression which has not yet been used in speech synthesis. The current paper reports on a pilot study in which differently created types of...
172
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
154
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
148
click to vote
LCTRTS
1999
Springer
15 years 8 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
118
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a framework for modeling, analysis, annotation and synthesis of multi-modal dance performances. We analyze correlations between music features and dance figure labels ...