Sciweavers

1052 search results - page 192 / 211
» Mean-Variance Analysis of the Performance of Spatial Orderin...
Sort
View
CAV
1999
Springer
125views Hardware» more  CAV 1999»
13 years 12 months ago
Model Checking of Safety Properties
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
Orna Kupferman, Moshe Y. Vardi
KDD
2010
ACM
265views Data Mining» more  KDD 2010»
13 years 11 months ago
Combining predictions for accurate recommender systems
We analyze the application of ensemble learning to recommender systems on the Netflix Prize dataset. For our analysis we use a set of diverse state-of-the-art collaborative filt...
Michael Jahrer, Andreas Töscher, Robert Legen...
BIBE
2007
IEEE
151views Bioinformatics» more  BIBE 2007»
13 years 9 months ago
On the Effectiveness of Constraints Sets in Clustering Genes
—In this paper, we have modified a constrained clustering algorithm to perform exploratory analysis on gene expression data using prior knowledge presented in the form of constr...
Erliang Zeng, Chengyong Yang, Tao Li, Giri Narasim...
ICASSP
2010
IEEE
13 years 7 months ago
Visual emotion recognition using compact facial representations and viseme information
Emotion expression is an essential part of human interaction. Rich emotional information is conveyed through the human face. In this study, we analyze detailed motion-captured fac...
Angeliki Metallinou, Carlos Busso, Sungbok Lee, Sh...
JC
2006
115views more  JC 2006»
13 years 7 months ago
Randomly shifted lattice rules on the unit cube for unbounded integrands in high dimensions
We study the problem of multivariate integration on the unit cube for unbounded integrands. Our study is motivated by problems in statistics and mathematical finance, where unboun...
Benjamin J. Waterhouse, Frances Y. Kuo, Ian H. Slo...