5019 search results - page 20 / 1004 » Computing in Quotient Groups |
119
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
143
Voted
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
We introduce a framework for defining a distance on the (non-Euclidean) space of Linear Dynamical Systems (LDSs). The proposed distance is induced by the action of the group of o...
136
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
The explosive growth in image sharing via social networks has produced exciting opportunities for the computer vision community in areas including face, text, product and scene re...
134
click to vote
STOC
2010
ACM
15 years 6 months ago
2010
ACM
The spectral profile of a graph is a natural generalization of the classical notion of its Rayleigh quotient. Roughly speaking, given a graph G, for each 0 < < 1, the spect...
140
Voted
CSCW
2012
ACM
13 years 9 months ago
2012
ACM
A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...