2069 search results - page 76 / 414 » Synthesizing |
105
Voted
NIME
2004
Springer
15 years 10 months ago
2004
Springer
A series of demonstrations of synthesized acappella songs based on an auditory morphing using STRAIGHT [5] will be presented. Singing voice data for morphing were extracted from t...
122
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...
160
click to vote
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
A new approach to synthesizing totally symmetric Boolean functions is presented. First, a novel cellular array is introduced for synthesizing unate symmetric functions. Using this...
146
Voted
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 9 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...
181
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...