Sciweavers

436 search results - page 47 / 88
» Recursion and Complexity
Sort
View
EVOW
2003
Springer
14 years 1 months ago
Evolving Symbolic Controllers
Abstract. The idea of symbolic controllers tries to bridge the gap between the top-down manual design of the controller architecture, as advocated in Brooks’ subsumption architec...
Nicolas Godzik, Marc Schoenauer, Michèle Se...
NIPS
2003
13 years 9 months ago
Robustness in Markov Decision Problems with Uncertain Transition Matrices
Optimal solutions to Markov Decision Problems (MDPs) are very sensitive with respect to the state transition probabilities. In many practical problems, the estimation of those pro...
Arnab Nilim, Laurent El Ghaoui
ICRA
2009
IEEE
137views Robotics» more  ICRA 2009»
14 years 2 months ago
Unsupervised learning of 3D object models from partial views
— We present an algorithm for learning 3D object models from partial object observations. The input to our algorithm is a sequence of 3D laser range scans. Models learned from th...
Michael Ruhnke, Bastian Steder, Giorgio Grisetti, ...
FMSD
2002
114views more  FMSD 2002»
13 years 7 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
ML
2011
ACM
308views Machine Learning» more  ML 2011»
13 years 2 months ago
Relational information gain
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
Marco Lippi, Manfred Jaeger, Paolo Frasconi, Andre...