Sciweavers

274 search results - page 25 / 55
» corr 2004
Sort
View
CORR
2004
Springer
121views Education» more  CORR 2004»
13 years 9 months ago
A measure of similarity between graph vertices
We introduce a concept of similarity between vertices of directed graphs. Let GA and GB be two directed graphs with, respectively, nA and nB vertices. We define an nB
Vincent D. Blondel, Anahí Gajardo, Maureen ...
CORR
2004
Springer
111views Education» more  CORR 2004»
13 years 9 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
CORR
2004
Springer
83views Education» more  CORR 2004»
13 years 9 months ago
A proof of Alon's second eigenvalue conjecture and related problems
A d-regular graph has largest or first (adjacency matrix) eigenvalue 1 = d. Consider for an even d 4, a random d-regular graph model formed from d/2 uniform, independent permutat...
Joel Friedman
CORR
2004
Springer
88views Education» more  CORR 2004»
13 years 9 months ago
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
Joseph Y. Halpern
CORR
2004
Springer
152views Education» more  CORR 2004»
13 years 9 months ago
Non-negative matrix factorization with sparseness constraints
Non-negative matrix factorization (NMF) is a recently developed technique for finding parts-based, linear representations of non-negative data. Although it has successfully been a...
Patrik O. Hoyer