1468 search results - page 274 / 294 » Machine Learning Approaches for Inducing Student Models |
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
IJAIT
2006
14 years 11 months ago
2006
We present an efficient feature selection algorithm for computer aided detection (CAD) computed tomographic (CT) colonography. The algorithm 1) determines an appropriate piecewise...
118
click to vote
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
Segmentation is a fundamental problem in medical image analysis. The use of prior knowledge is often considered to address the ill-posedness of the process. Such a process consists...
109
click to vote
JMLR
2010
14 years 6 months ago
2010
Zero-days attacks are one of the most dangerous threats against computer networks. These, by definition, are attacks never seen before. Thus, defense tools based on a database of ...
115
click to vote
SAC
2010
ACM
14 years 6 months ago
2010
ACM
Associative classification is a rule-based approach to classify data relying on association rule mining by discovering associations between a set of features and a class label. Su...