Sciweavers

5718 search results - page 320 / 1144
» Modeling Rule Precision
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
Non-Linear Beam Model for Tracking Large Deformations
In this paper we investigate physics-based plane beam model, frequently used in mechanical and civil engineering, to track large non-linear deformations in images. Such models do ...
Slobodan Ilic, Pascal Fua
MICCAI
2003
Springer
16 years 7 months ago
Statistical Shape Modeling of Unfolded Retinotopic Maps for a Visual Areas Probabilistic Atlas
Abstract. This paper proposes a statistical model of functional landmarks delimiting low level visual areas which are highly variable across individuals. Low level visual areas are...
Isabelle Corouge, Michel Dojat, Christian Barillot
EDOC
2009
IEEE
16 years 1 months ago
Modelling and Reasoning Languages for Social Networks Policies
—Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and re...
Guido Governatori, Renato Iannella
RTCSA
2008
IEEE
16 years 1 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
EDOC
2007
IEEE
16 years 1 months ago
Model-Driven Engineering for Requirements Analysis
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
Benoit Baudry, Clémentine Nebut, Yves Le Tr...