1074 search results - page 90 / 215 » Rule sets based bilevel decision model |
180
click to vote
JMLR
2008
15 years 6 months ago
2008
In supervised learning, a training set consisting of labeled instances is used by a learning algorithm for generating a model (classifier) that is subsequently employed for decidi...
155
click to vote
IJIS
2011
14 years 9 months ago
2011
The number of clinical trials reports is increasing rapidly due to a large number of clinical trials being conducted, it therefore raises an urgent need to utilize the clinical kno...
144
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
This paper presents a fuzzy system approach to the prediction of nonlinear time series and dynamical systems based on a fuzzy model that includes its derivative information. The u...
154
click to vote
LOGCOM
2010
15 years 4 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
166
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...