4352 search results - page 21 / 871 » A Representation Theorem and Applications |
145
click to vote
STACS
2001
Springer
15 years 10 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 ...
152
click to vote
COLT
2005
Springer
15 years 11 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ā...
175
click to vote
ICML
1989
IEEE
15 years 10 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...
168
click to vote
DALT
2008
Springer
15 years 7 months 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...
147
click to vote
JMLR
2010
15 years 24 days 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...