1186 search results - page 119 / 238 » Progressive Modeling |
136
click to vote
TASE
2009
IEEE
15 years 11 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...
142
click to vote
IROS
2009
IEEE
15 years 11 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...
154
Voted
ICIAR
2009
Springer
15 years 11 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...
181
click to vote
MHCI
2009
Springer
15 years 11 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
15 years 11 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 ...