4324 search results - page 61 / 865 » A Generalized Representer Theorem |
143
click to vote
TSP
2010
14 years 10 months ago
2010
The dual-tree complex wavelet transform (DT- WT) is known to exhibit better shift-invariance than the conventional discrete wavelet transform. We propose an amplitude-phase represe...
116
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
131
Voted
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
190
click to vote
AISC
2010
Springer
15 years 8 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
112
click to vote
AIPS
2008
15 years 6 months ago
2008
The causal graph is a directed graph that describes the variable dependencies present in a planning instance. A number of papers have studied the causal graph in both practical an...