1473 search results - page 199 / 295 » Permutation Tests for Classification |
JAIR
2006
14 years 10 months ago
2006
Active learners alleviate the burden of labeling large amounts of data by detecting and asking the user to label only the most informative examples in the domain. We focus here on...
MICS
2008
14 years 9 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
TFS
2008
14 years 9 months ago
2008
A reliable monitoring system is critically needed in a wide range of industries to detect the occurrence of a fault to prevent machinery performance degradation, malfunction, and s...
101
click to vote
ECAI
2010
Springer
14 years 7 months ago
2010
Springer
The proposed feature selection method aims to find a minimum subset of the most informative variables for classification/regression by efficiently approximating the Markov Blanket ...
122
click to vote
CSCW
2011
ACM
14 years 4 months ago
2011
ACM
In this paper we describe how we moved from ethnographic study to design and testing of a Mixed Reality (MR) system, supporting collaborative troubleshooting of office copiers and...