Sciweavers

5133 search results - page 729 / 1027
» Performance prediction with skeletons
Sort
View
RECSYS
2010
ACM
15 years 7 months ago
Beyond accuracy: evaluating recommender systems by coverage and serendipity
When we evaluate the quality of recommender systems (RS), most approaches only focus on the predictive accuracy of these systems. Recent works suggest that beyond accuracy there i...
Mouzhi Ge, Carla Delgado-Battenfeld, Dietmar Janna...
ICASSP
2010
IEEE
15 years 7 months ago
Robust spectro-temporal features based on autoregressive models of Hilbert envelopes
In this paper, we present a robust spectro-temporal feature extraction technique using autoregressive models (AR) of sub-band Hilbert envelopes. AR models of Hilbert envelopes are...
Sriram Ganapathy, Samuel Thomas, Hynek Hermansky
189
Voted
ICPR
2010
IEEE
15 years 6 months ago
Spatiotemporal-Boosted DCT Features for Head and Face Gesture Analysis
Automatic analysis of head gestures and facial expressions is a challenging research area and it has significant applications in humancomputer interfaces. In this study, facial la...
Hatice Çinar Akakin, Bülent Sankur
ICPR
2010
IEEE
15 years 6 months ago
The Binormal Assumption on Precision-Recall Curves
—The precision-recall curve (PRC) has become a widespread conceptual basis for assessing classification performance. The curve relates the positive predictive value of a classi...
Kay Henning Brodersen, Cheng Soon Ong, Klaas Enno ...
CACM
2010
120views more  CACM 2010»
15 years 6 months ago
seL4: formal verification of an operating-system kernel
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
Gerwin Klein, June Andronick, Kevin Elphinstone, G...