12052 search results - page 470 / 2411 » computing 2010 |
144
click to vote
LATINCRYPT
2010
15 years 5 months ago
2010
A common scenario in many pairing-based cryptographic protocols is that one argument in the pairing is fixed as a long term secret key or a constant parameter in the system. In th...
162
Voted
JMLR
2010
15 years 1 months ago
2010
Selecting conveniently the proposal kernel and the adjustment multiplier weights of the auxiliary particle filter may increase significantly the accuracy and computational efficie...
166
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
229
Voted
SIAMCOMP
2010
15 years 1 months ago
2010
We present new deterministic algorithms for several cases of the maximum rank matrix completion problem (for short matrix completion), i.e. the problem of assigning values to the ...
187
click to vote
SIAMDM
2010
15 years 1 months ago
2010
In this paper we consider the problem of computing the expected hitting time to a vertex for random walks on graphs. We give a method for computing an upper bound on the expected ...