26 search results - page 1 / 6 » On Rules and Parameter Free Systems in Bounded Arithmetic |
CIE
2007
Springer
13 years 4 months ago
2007
Springer
LPAR
2010
Springer
13 years 2 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
APAL
2008
13 years 4 months ago
2008
Consider the following restriction of the polymorphically typed lambda calculus ("System F"). All quantifications are parameter free. In other words, in every universal ...
INFORMATICALT
2002
13 years 4 months ago
2002
An adaptive control scheme for mechanical manipulators is proposed. The control loop essentially consists of a network for learning the robot's inverse dynamics and on-line ge...
JAIR
2011
12 years 7 months ago
2011
We address the problem of computing approximate marginals in Gaussian probabilistic models by using mean field and fractional Bethe approximations. We define the Gaussian fracti...