996 search results - page 135 / 200 » Enhancing UML Models: A Domain Analysis Approach |
117
Voted
JOT
2006
15 years 3 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
145
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We are interested in modeling the variability of different images of the same scene, or class of objects, obtained by changing the imaging conditions, for instance the viewpoint o...
142
Voted
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
125
Voted
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
For the first time, we present an AM-FM image model that, in addition to being remarkably consistent with human visual perception, also provides perfect reconstruction of the imag...
114
Voted
SIGDOC
2009
ACM
15 years 10 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...