686 search results - page 79 / 138 » Automatic Model Generation Strategies for Model Transformati... |
141
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
138
click to vote
SIGIR
2002
ACM
15 years 2 months ago
2002
ACM
This work evaluates a few search strategies for Arabic monolingual and cross-lingual retrieval, using the TREC Arabic corpus as the test-bed. The release by NIST in 2001 of an Ara...
123
click to vote
SIGMOD
1997
ACM
15 years 7 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
125
click to vote
FGR
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, a layered deformable model (LDM) is proposed for human body pose recovery in gait analysis. This model is inspired by the manually labeled silhouettes in [6] and it...
139
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our ...