Sciweavers

244 search results - page 32 / 49
» Surface Modelling with Guaranteed Consistency - An Object-Ba...
Sort
View
UML
2004
Springer
15 years 5 months 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,...
87
Voted
CJ
2006
111views more  CJ 2006»
14 years 11 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
101
Voted
CP
2005
Springer
15 years 5 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
109
Voted
ICCV
2007
IEEE
16 years 1 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
15 years 6 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...