3820 search results - page 245 / 764 » Bounded Model Debugging |
123
Voted
WSC
2001
15 years 5 months ago
2001
In this paper we present an algorithm for simulating functions of the minimum and terminal value for a random walk with Gaussian increments. These expectations arise in connection...
121
Voted
WSC
2004
15 years 5 months ago
2004
We consider the steady state output analysis problem for a process that satisfies a functional central limit theorem. We construct asymptotically valid confidence intervals for th...
103
Voted
WEWORC
2007
15 years 4 months ago
2007
Abstract. Courtois, Finiasz and Sendrier proposed in 2001 a practical code-based signature scheme. We give a rigorous security analysis of a modified version of this scheme in the...
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We demonstrate a two-player communication problem that can be solved in the oneway quantum model by a 0-error protocol of cost O (log n) but requires exponentially more communicat...
117
Voted
ICMCS
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a new approach to 3D shape comparison and retrieval based on the computation of Gaussian transforms of the surface model on a set of points regularly distribut...