369 search results - page 7 / 74 » Arithmetic of Generalized Jacobians |
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
TC
2010
13 years 2 months ago
2010
Using a general polynomial approximation approach, we present an arithmetic library generator for the logarithmic number system (LNS). The generator produces optimized LNS arithmet...
MLQ
2002
13 years 7 months ago
2002
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...
SIGGRAPH
2010
ACM
13 years 11 months ago
2010
ACM
We present a control strategy for physically-simulated walking motions that generalizes well across gait parameters, motion styles, character proportions, and a variety of skills....
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— A “Discretely Actuated Robotic Manipulator”, or “D-ARM”, is any member of a class of robotic manipulators powered by actuators that have only discrete positional stable...