579 search results - page 80 / 116 » Constraint Validation in Model Compilers |
ICRA
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper proposes a three-dimensional biped dynamic walking algorithm based on Passive Dynamic Autonomous Control (PDAC) which is previously proposed. The robot dynamics is model...
BMCBI
2007
13 years 8 months ago
2007
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
With the rise of photo-sharing websites such as Facebook and Flickr has come dramatic growth in the number of photographs online. Recent research in object recognition has used su...
DISOPT
2011
12 years 11 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...