7785 search results - page 539 / 1557 » The Concept of Dynamic Analysis |
213
click to vote
ECCV
2000
Springer
16 years 9 months ago
2000
Springer
This paper focuses on matching 1D structures by variational methods. We provide rigorous rules for the construction of the cost function, on the basis of an analysis of properties ...
160
click to vote
ICRA
2003
IEEE
16 years 15 days ago
2003
IEEE
— This paper addresses the impedance control problem for flexible joint manipulators. An impedance controller structure is proposed, which is based on an exact decoupling of the...
217
click to vote
VISSOFT
2002
IEEE
16 years 3 days ago
2002
IEEE
Software is inherently dynamic, yet much of the analysis and comprehension processes focus entirely on the static source code of the software. This paper looks at how software vis...
208
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a criterion for qualitative analysis of open Chemical Reaction Networks endowed with mass-action kinetics. The method can be applied to an extremely broad clas...
165
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis depend...