Sciweavers

6040 search results - page 357 / 1208
» Generating Instance Models from Meta Models
Sort
View
TSE
2008
107views more  TSE 2008»
15 years 6 months ago
Interface Grammars for Modular Software Model Checking
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Graham Hughes, Tevfik Bultan
ICIP
1999
IEEE
16 years 8 months ago
Uncertainties in Bayesian Geometric Models
Deformable geometric models fit very naturally into the context of Bayesian analysis. The prior probability of boundary shapes is taken to proportional to the negative exponential...
Kenneth M. Hanson, Gregory S. Cunningham, Robert J...
WACV
2002
IEEE
15 years 11 months ago
Automatic Pose Estimation of Complex 3D Building Models
3D models of urban sites with geometry and facade textures are needed for many planning and visualization applications. Approximate 3D wireframe model can be derived from aerial i...
Sung Chun Lee, Soon Ki Jung, Ramakant Nevatia
SMILE
2000
Springer
15 years 10 months ago
A Compact Model for Viewpoint Dependent Texture Synthesis
A texture synthesis method is presented that generates similar texture from an example image. It is based on the emulation of simple but rather carefully chosen image intensity sta...
Alexey Zalesny, Luc J. Van Gool
BMVC
1998
15 years 8 months ago
3D Shape Modelling through a Constrained Estimation of a Bicubic B-spline Surface
This paper presents a new method to extract the 3D shape of objects from 3D gray level images using a bicubic B-spline surface model. Extraction of object shape is achieved throug...
Xinquan Shen, Michael Spann