Sciweavers

4127 search results - page 481 / 826
» Evaluation methods for topic models
Sort
View
IMC
2009
ACM
16 years 1 months ago
Modeling user activities in a large IPTV system
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
Tongqing Qiu, Zihui Ge, Seungjoon Lee, Jia Wang, J...
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 6 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
PR
2006
117views more  PR 2006»
15 years 6 months ago
On transforming statistical models for non-frontal face verification
: We address the pose mismatch problem which can occur in face verification systems that have only a single (frontal) face image available for training. In the framework of a Bayes...
Conrad Sanderson, Samy Bengio, Yongsheng Gao
BMCBI
2004
139views more  BMCBI 2004»
15 years 6 months ago
Resolution of large and small differences in gene expression using models for the Bayesian analysis of gene expression levels an
Background: The detection of small yet statistically significant differences in gene expression in spotted DNA microarray studies is an ongoing challenge. Meeting this challenge r...
Jeffrey P. Townsend
MICCAI
2010
Springer
15 years 5 months ago
Complete Valvular Heart Apparatus Model from 4D Cardiac CT
Abstract. The cardiac valvular apparatus, composed of the aortic, mitral, pulmonary and tricuspid valve, is an essential part of the anatomical, functional and hemodynamic characte...
Sasa Grbic, Razvan Ioan Ionasec, Dime Vitanovski, ...