78 search results - page 13 / 16 » Decision methods for linearly ordered Heyting algebras |
164
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...
183
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Background: Support Vector Machines (SVMs) ? using a variety of string kernels ? have been successfully applied to biological sequence classification problems. While SVMs achieve ...
163
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
165
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The support vector domain description is a one-class classification method that estimates the shape and extent of the distribution of a data set. This separates the data ...
200
click to vote
MCS
2007
Springer
16 years 24 days ago
2007
Springer
Rotation Forest is a recently proposed method for building classifier ensembles using independently trained decision trees. It was found to be more accurate than bagging, AdaBoost...