78 search results - page 13 / 16 » Decision methods for linearly ordered Heyting algebras |
GRID
2006
Springer
14 years 11 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...
104
Voted
RECOMB
2005
Springer
15 years 12 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 ...
88
Voted
DATE
2009
IEEE
15 years 6 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...
91
Voted
MICCAI
2006
Springer
16 years 18 days 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 ...
108
Voted
MCS
2007
Springer
15 years 5 months 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...