Sciweavers

12836 search results - page 519 / 2568
» Generalization Methods in Bioinformatics
Sort
View
CORR
2011
Springer
155views Education» more  CORR 2011»
14 years 11 months ago
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
David Monniaux, Pierre Corbineau
ISSTA
2012
ACM
13 years 10 months ago
Static detection of brittle parameter typing
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
Michael Pradel, Severin Heiniger, Thomas R. Gross
173
Voted
ECML
2006
Springer
15 years 11 months ago
Right of Inference: Nearest Rectangle Learning Revisited
In Nearest Rectangle (NR) learning, training instances are generalized into hyperrectangles and a query is classified according to the class of its nearest rectangle. The method ha...
Byron J. Gao, Martin Ester
206
Voted
EUSFLAT
2003
15 years 8 months ago
Fusion with quantitative weights
Based of the strong idempotency of aggregation operators, quantitative weights are incorporated into the fusion process. Our general method is compared with some previous specifi...
Tomasa Calvo, Radko Mesiar
179
Voted
IJBC
2010
132views more  IJBC 2010»
15 years 2 months ago
Construction of Fractal Interpolation Surfaces on Rectangular Grids
We present a general method of generating continuous fractal interpolation surfaces by iterated function systems on an arbitrary data set over rectangular grids and estimate their...
Wolfgang Metzler, Chol Hui Yun