3328 search results - page 353 / 666 » On Plateaued Functions and Their Constructions |
184
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes a new framework of speech synthesis based on the Bayesian approach. The Bayesian method is a statistical technique for estimating reliable predictive distribut...
152
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The Extended Baum-Welch (EBW) Transformations is one of a variety of techniques to estimate parameters of Gaussian mixture models. In this paper, we provide a theoretical framewor...
152
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
175
click to vote
AIMS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Traditional approaches to multipath routing ignore the economic incentives necessary in aligning both networks and users towards a common goal. While theory suggests cong...
164
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...