112 search results - page 14 / 23 » Graph-based induction and its applications |
105
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements correspon...
CADE
1990
Springer
15 years 3 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
94
Voted
CIE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
85
Voted
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Unstructured p2p and overlay network applications often require that a random graph be constructed, and that some form of random node selection take place over that graph. A ke...
85
Voted
KDD
2003
ACM
16 years 2 days ago
2003
ACM
Dimensionality reduction via Random Projections has attracted considerable attention in recent years. The approach has interesting theoretical underpinnings and offers computation...