Sciweavers

4128 search results - page 388 / 826
» Learning and using relational theories
Sort
View
172
Voted
JMIV
2006
116views more  JMIV 2006»
15 years 6 months ago
Geodesic Matching with Free Extremities
In this paper, we describe how to use geodesic energies defined on various sets of objects to solve several distance related problems. We first present the theory of metamorphoses ...
Laurent Garcin, Laurent Younes
ACS
2005
15 years 6 months ago
Symmetric Brace Algebras
We develop a symmetric analog of brace algebras and discuss the relation of such algebras to L-algebras. We give an alternate proof that the category of symmetric brace algebras is...
Tom Lada, Martin Markl
TLCA
2007
Springer
16 years 29 days ago
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
Denis Cousineau 0002, Gilles Dowek
NIPS
2008
15 years 8 months ago
Optimization on a Budget: A Reinforcement Learning Approach
Many popular optimization algorithms, like the Levenberg-Marquardt algorithm (LMA), use heuristic-based "controllers" that modulate the behavior of the optimizer during ...
Paul Ruvolo, Ian R. Fasel, Javier R. Movellan
STOC
2003
ACM
154views Algorithms» more  STOC 2003»
16 years 7 months ago
Boosting in the presence of noise
Boosting algorithms are procedures that "boost" low-accuracy weak learning algorithms to achieve arbitrarily high accuracy. Over the past decade boosting has been widely...
Adam Kalai, Rocco A. Servedio