1054 search results - page 149 / 211 » Model Transformations in the Model-Based Development of Real... |
115
click to vote
SAS
2001
Springer
15 years 7 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
143
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper addresses Content Based Image Retrieval (CBIR), focusing on developing a hidden semantic concept discovery methodology to address effective semanticsintensive image ret...
138
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
A system that could automatically analyze the facial actions in real time have applications in a number of different fields. However, developing such a system is always a challeng...
115
click to vote
PVLDB
2008
15 years 2 months ago
2008
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
124
click to vote
DAGM
2004
Springer
15 years 8 months ago
2004
Springer
This paper proposes a system for model based human motion estimation. We start with a human model generation system, which uses a set of input images to automatically generate a f...