6800 search results - page 840 / 1360 » Testing with Functions as Specifications |
168
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We introduce a new data set which contains both a self-declared friendship network and self-chosen attributes from a finite list defined by the social networking site. We prop...
200
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present an optimal methodology for dynamic voltage scheduling problem in the presence of realistic assumption such as leakage-power and intra-task overheads. Our contribution...
186
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...
139
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present two speech transformation approaches designed to increase the intelligibility of speech. The first approach is used in the context of increasing the intelligibility of...
172
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a generic features selection method and its applications on some document analysis problems. The method is based on a genetic algorithm (GA), whose tness funct...