4352 search results - page 21 / 871 » A Representation Theorem and Applications |
STACS
2001
Springer
14 years 3 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
COLT
2005
Springer
14 years 4 months ago
2005
Springer
In recent years manifold methods have attracted a considerable amount of attention in machine learning. However most algorithms in that class may be termed āmanifold-motivatedā...
ICML
1989
IEEE
14 years 2 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be deļ¬ned and carried out, but ļ¬rst-order Horn logic i...
DALT
2008
Springer
14 years 10 days ago
2008
Springer
Abstract. This paper offers a formalization of iterated belief revision for multiagent communication using the logic of communication graphs introduced in [15]. In this study we co...
JMLR
2010
13 years 5 months ago
2010
In this paper, we study the problem of learning a matrix W from a set of linear measurements. Our formulation consists in solving an optimization problem which involves regulariza...