Sciweavers

270 search results - page 40 / 54
» Estimation of non-stationary Markov Chain transition models
Sort
View
VISAPP
2010
14 years 9 months ago
Inverse Problems in Imaging and Computer Vision - From Regularization Theory to Bayesian Inference
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
Ali Mohammad-Djafari
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 5 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
STOC
2006
ACM
129views Algorithms» more  STOC 2006»
16 years 2 days ago
Optimal phylogenetic reconstruction
One of the major tasks of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on the true evolu...
Constantinos Daskalakis, Elchanan Mossel, Sé...
IPMI
2009
Springer
16 years 19 days ago
Estimating Uncertainty in Brain Region Delineations
This paper presents a method for estimating uncertainty in MRI-based brain region delineations provided by fully-automated segmentation methods. In large data sets, the uncertainty...
Karl R. Beutner, Gautam Prasad, Evan Fletcher, Cha...
ISLPED
1998
ACM
94views Hardware» more  ISLPED 1998»
15 years 4 months ago
Theoretical bounds for switching activity analysis in finite-state machines
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
Diana Marculescu, Radu Marculescu, Massoud Pedram