Sciweavers

1677 search results - page 204 / 336
» On the Completeness of Quantum Computation Models
Sort
View
ICCV
2009
IEEE
15 years 4 months ago
Component analysis approach to estimation of tissue intensity distributions of 3D images
Many segmentation problems in medical imaging rely on accurate modeling and estimation of tissue intensity probability density functions. Gaussian mixture modeling, currently the ...
Arridhana Ciptadi, Cheng Chen, Vitali Zagorodnov
ACL
2012
13 years 8 months ago
Learning High-Level Planning from Text
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...
S. R. K. Branavan, Nate Kushman, Tao Lei, Regina B...
ICML
2009
IEEE
16 years 7 months ago
Prototype vector machine for large scale semi-supervised learning
Practical data mining rarely falls exactly into the supervised learning scenario. Rather, the growing amount of unlabeled data poses a big challenge to large-scale semi-supervised...
Kai Zhang, James T. Kwok, Bahram Parvin
CAV
2009
Springer
135views Hardware» more  CAV 2009»
16 years 7 months ago
Sliding Window Abstraction for Infinite Markov Chains
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
Thomas A. Henzinger, Maria Mateescu, Verena Wolf
RTAS
2005
IEEE
16 years 22 hour ago
A Real-Time Performance Comparison of Distributable Threads and Event Channels
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
Yuanfang Zhang, Bryan Thrall, Stephen Torri, Chris...