Sciweavers

450 search results - page 19 / 90
» Satisfiability with Exponential Families
Sort
View
ICML
2005
IEEE
15 years 10 months ago
Propagating distributions on a hypergraph by dual information regularization
In the information regularization framework by Corduneanu and Jaakkola (2005), the distributions of labels are propagated on a hypergraph for semi-supervised learning. The learnin...
Koji Tsuda
CP
2010
Springer
14 years 8 months ago
Testing Expressibility Is Hard
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
Ross Willard
38
Voted
SCL
2008
75views more  SCL 2008»
14 years 9 months ago
Stabilization of a Boussinesq system of KdV-KdV type
A family of Boussinesq systems has recently been proposed by J. L. Bona, M. Chen, and J.-C. Saut in [2] to describe the two-way propagation of small amplitude gravity waves on the ...
Ademir F. Pazoto, Lionel Rosier
ICML
2002
IEEE
15 years 10 months ago
Diffusion Kernels on Graphs and Other Discrete Input Spaces
The application of kernel-based learning algorithms has, so far, largely been confined to realvalued data and a few special data types, such as strings. In this paper we propose a...
Risi Imre Kondor, John D. Lafferty
ECAI
2006
Springer
15 years 1 months ago
What's a Head Without a Body?
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
Christian Anger, Martin Gebser, Tomi Janhunen, Tor...