14809 search results - page 325 / 2962 » Model transformation by demonstration |
161
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper provides a novel solution for robocentric mapping using an autonomous mobile robot. The robot dynamic model is the standard unicycle model and the robot is a...
182
Voted
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
191
click to vote
ENTCS
2006
15 years 6 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
186
click to vote
BIOCOMP
2009
15 years 4 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
204
click to vote
PAMI
2010
15 years 1 months ago
2010
This paper proposes a new method to synthesize and inpaint geometric textures. The texture model is composed of a geometric layer that drives the computation of a new grouplet tran...