6434 search results - page 326 / 1287 » Model Transformations with Reference Models |
156
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a method to recognize and generate sequential motions for object manipulation such as placing one object on another or rotating it. Motions are learned usin...
167
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
142
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The measurement of the functional size of applications generated in MDA environments is a challenge for the software development industry. This paper presents the OO-Method COSMIC ...
187
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
146
click to vote
TSMC
2008
15 years 6 months ago
2008
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...