845 search results - page 95 / 169 » Connecting Many-Sorted Theories |
142
click to vote
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we present a novel algorithm for incremental principal component analysis. Based on the LargestEigenvalue-Theory, i.e. the eigenvector associated with the largest ei...
244
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
We discuss the task of reconstructing the topological map of an environment based on the sequences of locations visited by a mobile agent ? this occurs in systems neuroscience, wh...
187
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a unified duality view of several recently emerged spectral methods for nonlinear dimensionality reduction, including Isomap, locally linear embedding, Laplacian eigenm...
134
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents ethnographic fieldwork on Friendster, an online dating site utilizing social networks to encourage friend-of-friend connections. I discuss how Friendster appli...
158
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...