483 search results - page 36 / 97 » Parikh Mapping and Iteration |
WADT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
ITA
2008
13 years 7 months ago
2008
We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of unimodal continuous maps from the unit interva...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper presents a novel approach for estimating parameters for MRF-based stereo algorithms. This approach is based on a new formulation of stereo as a maximum a posterior (MAP...
PAMI
2007
13 years 7 months ago
2007
—This paper presents a novel approach for estimating the parameters for MRF-based stereo algorithms. This approach is based on a new formulation of stereo as a maximum a posterio...
CDC
2009
IEEE
14 years 8 days ago
2009
IEEE
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...