989 search results - page 53 / 198 » HowNet and Its Computation of Meaning |
156
click to vote
TCS
2011
14 years 11 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
127
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
The invariance of the similarity measure in photometric distortions as well as its capability in producing subpixel accuracy are two desired and often required features in most st...
123
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The neighbourhood function NG(t) of a graph G gives, for each t ∈ N, the number of pairs of nodes x, y such that y is reachable from x in less that t hops. The neighbourhood fun...
139
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper addresses the problem of cooperative localization (CL) under severe communication constraints. Specifically, we present minimum mean square error (MMSE) and maximum...
133
click to vote
CRYPTO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider enhancing with privacy concerns a large class of auctions, which include sealed-bid single-item auctions but also general multi-item multi-winner auctions, ou...