4276 search results - page 294 / 856 » Techniques for Empirical Validation |
169
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents two different efficiency-enhancement techniques for probabilistic model building genetic algorithms. The first technique proposes the use of a mutatio...
148
click to vote
JMLR
2002
15 years 6 months ago
2002
In this paper, we discuss round robin classification (aka pairwise classification), a technique for handling multi-class problems with binary classifiers by learning one classifie...
184
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
205
click to vote
AAAI
2010
15 years 4 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
186
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We describe a new approach for rescoring speech lattices — with long-span language models or wide-context acoustic models — that does not entail computationally intensive latt...