752 search results - page 73 / 151 » A Markov Chain Model Checker |
ICPPW
2008
IEEE
14 years 3 months ago
2008
IEEE
Power minimization is a serious issue in wireless sensor networks to extend the lifetime and minimize costs. However, in order to gain an accurate understanding of issues regardin...
ICASSP
2011
IEEE
13 years 15 days ago
2011
IEEE
This paper studies a variational Bayesian unmixing algorithm for hyperspectral images based on the standard linear mixing model. Each pixel of the image is modeled as a linear com...
GECCO
2006
Springer
14 years 12 days ago
2006
Springer
We describe a Markov chain Bayesian classification tool, SCS, that can perform data-driven classification of proteins and protein segments. Training data for interesting classific...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
This paper is concerned with rank aggregation, the task of combining the ranking results of individual rankers at meta-search. Previously, rank aggregation was performed mainly by...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
We investigate the automated reconstruction of piecewise smooth 3D curves, using subdivision curves as a simple but flexible curve representation. This representation allows taggin...