Sciweavers

2167 search results - page 140 / 434
» Stochastic Process Algebras
Sort
View
FSTTCS
2010
Springer
15 years 3 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
DCC
2007
IEEE
16 years 6 months ago
A Stochastic Model for Video and its Information Rates
We propose a stochastic model for video and compute its information rates. The model has two sources of information representing ensembles of camera motion and visual scene data (...
Arthur L. da Cunha, Minh N. Do, Martin Vetterli
ICPR
2008
IEEE
16 years 25 days ago
Object-of-interest extraction by integrating stochastic inference with learnt active shape sketch
This article presents a novel integrated approach to object of interest extraction, including learning to define target pattern and extracting by combining detection and segmenta...
Hongwei Li, Liang Lin, Tianfu Wu, Xiaobai Liu, Lan...
DAGM
2007
Springer
16 years 17 days ago
Stochastic Optimization of Multiple Texture Registration Using Mutual Information
Abstract. We consider the problem of simultaneously registering several images to a 3D model. We propose a global approach based on mutual information that extends previous methods...
Ioan Cleju, Dietmar Saupe
STACS
2005
Springer
15 years 12 months ago
Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
Kousha Etessami, Mihalis Yannakakis