Sciweavers

567 search results - page 55 / 114
» Regularized Policy Iteration
Sort
View
MP
2010
157views more  MP 2010»
13 years 6 months ago
Newton's method for generalized equations: a sequential implicit function theorem
In the extension of Newton’s method to generalized equations, applying to variational inequalities as a special case, convergence analysis relates to a corresponding implicit fun...
Asen L. Dontchev, R. Tyrrell Rockafellar
SIAMNUM
2010
126views more  SIAMNUM 2010»
13 years 2 months ago
Solving BSDE with Adaptive Control Variate
We present and analyze an algorithm to solve numerically BSDEs based on Picard's iterations and on a sequential control variate technique. Its convergence is geometric. Moreov...
Emmanuel Gobet, Céline Labart
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
13 years 6 months ago
A simple learning strategy for high-speed quadrocopter multi-flips
— We describe a simple and intuitive policy gradient method for improving parametrized quadrocopter multi-flips by combining iterative experiments with information from a first...
Sergei Lupashin, Angela Schöllig, Michael She...
CORR
2010
Springer
174views Education» more  CORR 2010»
13 years 5 months ago
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
Mads Dam, Andreas Lundblad
LATA
2010
Springer
14 years 5 months ago
Complexity of the Satisfiability Problem for a Class of Propositional Schemata
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...