2702 search results - page 299 / 541 » Practically Applicable Formal Methods |
131
Voted
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
119
Voted
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
125
Voted
ICANN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Many applications of machine learning involve sparse highdimensional data, where the number of input features is (much) larger than the number of data samples, d n. Predi...
124
click to vote
CP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
116
Voted
CSR
2006
Springer
15 years 6 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...