861 search results - page 80 / 173 » From Simple Features to Sophisticated Evaluation Functions |
MPC
1995
Springer
14 years 17 days ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In the present paper, we consider the automatic text categorization as a series of information processing and propose a new classification technique called the Frequency Ratio ...
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
BIOSYSTEMS
2007
13 years 9 months ago
2007
This paper proposes and evaluates a multi-objective evolutionary algorithm for survival analysis. One aim of survival analysis is the extraction of models from data that approxima...
AAAI
2004
13 years 10 months ago
2004
Random decision tree is an ensemble of decision trees. The feature at any node of a tree in the ensemble is chosen randomly from remaining features. A chosen discrete feature on a...