Sciweavers

2041 search results - page 5 / 409
» Modelling Generic Judgements
Sort
View
SMA
2008
ACM
120views Solid Modeling» more  SMA 2008»
14 years 9 months ago
A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces
We present a generic framework on a set of surfaces S in
Eric Berberich, Michael Sagraloff
AVSS
2006
IEEE
15 years 3 months ago
Human Face Reconstruction Using Bayesian Deformable Models
This paper presents a Bayesian framework for 3D facial reconstruction. The framework iteratively deforms a generic face mesh to fit a set of range points representing a face. The...
George Mamic, Clinton Fookes, Sridha Sridharan
LICS
2006
IEEE
15 years 3 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
CVPR
2008
IEEE
15 years 11 months ago
Toward automatic 3D modeling of scenes using a generic camera model
The automatic reconstruction of 3D models from image sequences is still a very active field of research. All existing methods are designed for a given camera model, and a new (and...
Maxime Lhuillier
WSC
2001
14 years 11 months ago
Generic models in the advanced IRCM assessment model
The Advanced IRCM Assessment Model (AIRSAM) simulates an infrared (IR) guided missile engaging an aircraft equipped with infrared countermeasures (IRCM). Analysts currently use AI...
David P. Forrai, James J. Maier