77016 search results - page 275 / 15404 » Modeling |
119
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
124
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose a new model for image denoising which is a hybrid of the total variation model and the Laplacian mean-curvature model. An efficient numerical procedure to compute the h...
152
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
142
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
143
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...