10790 search results - page 299 / 2158 » Using feature models to automate model transformations |
199
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
162
click to vote
UAI
1990
15 years 8 months ago
1990
In this paper, we extend the QMR-DT probabilistic model for the domain of internal medicine to include decisions about treatments. In addition, we describe how we can use the comp...
302
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Intensity based registration methods, such as the mutual information (MI), do not commonly consider the spatial geometric information and the initial correspondences are ...
213
click to vote
ACMMSP
2006
ACM
16 years 22 days ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
171
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
We investigate the biologically inspired features (BIF) for human age estimation from faces. As in previous bioinspired models, a pyramid of Gabor filters are used at all positio...