914 search results - page 149 / 183 » On the evaluation of the decision performance of an incomple... |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
KDD
2010
ACM
13 years 11 months ago
2010
ACM
In this paper we propose a novel algorithm for multi-task learning with boosted decision trees. We learn several different learning tasks with a joint model, explicitly addressing...
ICCBR
2007
Springer
13 years 11 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
ESAS
2006
Springer
13 years 11 months ago
2006
Springer
Distance-bounding protocols aim to prevent an adversary from pretending that two parties are physically closer than they really are. We show that proposed distance-bounding protoco...
FSKD
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents an investigation into the combination of different classifiers for toxicity prediction. These classification methods involved in generating classifiers for comb...