Sciweavers

4757 search results - page 197 / 952
» Generalized Posynomial Performance Modeling
Sort
View
SPIN
1999
Springer
15 years 10 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
ECAI
1994
Springer
15 years 10 months ago
Similarity for Analogical Software Reuse: A Computational Model
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
George Spanoudakis, Panos Constantopoulos
ACCV
2010
Springer
15 years 1 months ago
Latent Gaussian Mixture Regression for Human Pose Estimation
Discriminative approaches for human pose estimation model the functional mapping, or conditional distribution, between image features and 3D pose. Learning such multi-modal models ...
Yan Tian, Leonid Sigal, Hernán Badino, Fern...
ICIP
1995
IEEE
16 years 8 months ago
Variable resolution Markov modelling of signal data for image compression
Traditionally, Markov models have not been successfully used for compression of signal data other than binary image data. Due to the fact that exact substring matches in non-binar...
Mark Trumbo, Jacques Vaisey
ACCV
2009
Springer
16 years 1 months ago
Levels of Details for Gaussian Mixture Models
Mixtures of Gaussians are a crucial statistical modeling tool at the heart of many challenging applications in computer vision and machine learning. In this paper, we first descri...
Vincent Garcia, Frank Nielsen, Richard Nock