8828 search results - page 1162 / 1766 » Formal methods in practice |
189
click to vote
CAISE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
149
click to vote
CPM
2004
Springer
16 years 25 days ago
2004
Springer
Optimized spaced seeds improve sensitivity and specificity in local homology search. Several authors have shown that multiple seeds can have better sensitivity and specificity t...
208
click to vote
DSMML
2004
Springer
16 years 25 days ago
2004
Springer
The informative vector machine (IVM) is a practical method for Gaussian process regression and classification. The IVM produces a sparse approximation to a Gaussian process by com...
189
click to vote
EUROPAR
2004
Springer
16 years 25 days ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
217
click to vote
GECCO
2004
Springer
16 years 25 days 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...