713 search results - page 79 / 143 » Using information about functions in selecting test cases |
128
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper presents a new approach to discriminative modeling for classi cation and labeling. Our method, called Boosting on Multilevel Aggregates (BMA), adds a new class of hiera...
187
click to vote
MST
2007
15 years 6 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
184
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Using a set of model landscapes we examine how different mutation rates affect different search metrics. We show that very universal heuristics, such as 1/N and the error threshol...
170
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
198
click to vote
JMLR
2012
13 years 9 months ago
2012
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...