5084 search results - page 181 / 1017 » Proving Possibility Properties |
163
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper exploits the properties of the commute time for the purposes of graph matching. Our starting point is the random walk on the graph, which is determined by the heat-kern...
175
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper we investigate the regularization property of Kernel Principal Component Analysis (KPCA), by studying its application as a preprocessing step to supervised learning ...
160
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
141
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We construct various classes of low-density parity-check codes using point-line incidence structures in the classical projective plane PG(2, q). Each incidence structure is based ...
140
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...