1186 search results - page 119 / 238 » Progressive Modeling |
TASE
2009
IEEE
14 years 4 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— Fluid bipedal locomotion remains a significant challenge for humanoid robotics. Recent bio-inspired approaches have made significant progress by using small numbers of tightl...
ICIAR
2009
Springer
14 years 4 months ago
2009
Springer
Over the past decades, considerable progress had been made in developing automatic image interpretation tools for remote sensing. There is, however, still a gap between the require...
MHCI
2009
Springer
14 years 4 months ago
2009
Springer
The aether soon will be pervaded with a high density of digital services for usage on mobile phones. Personalization plays a crucial role for the success and acceptance of such sy...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...