1829 search results - page 123 / 366 » Towards Validation of Requirements Models |
185
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
153
click to vote
TIP
2010
15 years 4 months ago
2010
—An efficient approach toward a no-reference ringing metric intrinsically exists of two steps: first detecting regions in an image where ringing might occur, and second quantif...
173
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Correspondence algorithms typically struggle with shapes that display part-based variation. We present a probabilistic approach that matches shapes using independent part transfor...
165
click to vote
HICSS
2008
IEEE
16 years 27 days ago
2008
IEEE
Blogs have become an increasingly popular form of displaying online content for general Internet users. Attracting new bloggers and retaining existing bloggers are crucial to blog...
124
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...