6800 search results - page 495 / 1360 » Testing with Functions as Specifications |
170
click to vote
AMC
2005
15 years 7 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
222
click to vote
TKDE
2008
15 years 7 months ago
2008
Abstract--This paper presents an investigation into the use of the delay coordinate embedding technique in the multi-inputmultioutput-adaptive-network-based fuzzy inference system ...
242
click to vote
SAC
2002
ACM
15 years 7 months ago
2002
ACM
This article introduces a fast cross-validation algorithm that performs wavelet shrinkage on data sets of arbitrary size and irregular design and also simultaneously selects good ...
234
click to vote
MIDDLEWARE
2010
Springer
15 years 6 months ago
2010
Springer
Recent Internet applications, such as online social networks and user-generated content sharing, produce an unprecedented amount of social information, which is further augmented b...
183
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
Our goal is to automatically learn a perceptually-optimal target cost function for a unit selection speech synthesiser. The approach we take here is to train a classifier on human...