We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
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...
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...
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...
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...