Sciweavers

244 search results - page 32 / 49
» Surface Modelling with Guaranteed Consistency - An Object-Ba...
Sort
View
UML
2004
Springer
14 years 27 days ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
CJ
2006
111views more  CJ 2006»
13 years 7 months ago
Relational Formalism for the Management of Spatial Data
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
Nikos A. Lorentzos, Jose Ramon Rios Viqueira
CP
2005
Springer
14 years 1 months ago
Applying Constraint Programming to Rigid Body Protein Docking
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
Ludwig Krippahl, Pedro Barahona
ICCV
2007
IEEE
14 years 9 months ago
Variational optimal control technique for the tracking of deformable objects
In this paper, a new framework for the tracking of closed curves is described. The proposed approach, formalized through an optimal control technique, enables a continuous trackin...
Nicolas Papadakis, Étienne Mémin
ICIP
2007
IEEE
14 years 1 months ago
Spatio-Temporal Registration Techniques for Relightable 3D Video
By jointly applying a model-based marker-less motion capture approach and multi-view texture generation 3D Videos of human actors can be reconstructed from multi-view video stream...
Naveed Ahmed, Christian Theobalt, Marcus A. Magnor...