6693 search results - page 783 / 1339 » Methods of Automatic Algorithm Generation |
202
click to vote
AROBOTS
2002
15 years 6 months ago
2002
We describe techniques to optimally select landmarks for performing mobile robot localization by matching terrain maps. The method is based upon a maximum-likelihood robot localiza...
184
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
167
click to vote
CCR
2010
15 years 3 months ago
2010
Data centers have a crucial role in current Internet architecture supporting content-centric networking. State-of-theart data centers have different architectures like fat-tree [1...
120
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper we present a method to predict the movement of a speaker's mouth from text input using hidden Markov models (HMM). We have used a corpus of human articulatory m...
163
click to vote
ICASSP
2011
IEEE
14 years 10 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...