5200 search results - page 675 / 1040 » Symbolic models for control systems |
212
click to vote
ICARCV
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper describes the dynamic modeling of linear object deformation considering geometrical constraints and contact with obstacles. Deformable linear objects such as cables ...
183
click to vote
HIS
2004
15 years 9 months ago
2004
Zamin artificial life model is designed to be a general purpose environment for researches on evolution of learning methods, living strategies and complex behaviors and is used in ...
275
click to vote
ICCV
2007
IEEE
17 years 3 months ago
2007
IEEE
This paper presents a component based deformable
model for generalized face alignment, in which a novel bistage
statistical framework is proposed to account for both
local and g...
190
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
226
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...