26151 search results - page 46 / 5231 » Parameterized system design |
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
– Biped walking is one of the most graceful movements observed in humans. Today’s humanoid robots, despite their undeniably impressive performance, are still a long way from th...
AICCSA
2001
IEEE
14 years 1 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
ICPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Image moments have been widely used for designing robust shape descriptors that are invariant to rigid transformations. In this work, we address the problem of estimating non-rigid...
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...