894 search results - page 13 / 179 » Optimizations for LTL Synthesis |
118
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
268
Voted
TOG
2012
13 years 6 months ago
2012
Capturing human activities that involve both gross full-body motion and detailed hand manipulation of objects is challenging for standard motion capture systems. We introduce a ne...
124
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, the design and implementation of a corpus-based singing voice synthesis (SVS) system for Mandarin Chinese was introduced. The design rules of three corpora for sing...
159
Voted
ICCTA
2007
IEEE
15 years 7 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
128
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper introduces a new optimization technique for moving segment labels (phone and subphonetic) to optimize statistical parametric speech synthesis models. The choice of obje...