3820 search results - page 101 / 764 » Bounded Model Debugging |
146
Voted
ECCC
2007
15 years 2 months ago
2007
We study graph properties which are testable for bounded degree graphs in time independent of the input size. Our goal is to distinguish between graphs having a predetermined grap...
114
Voted
SIBGRAPI
2005
IEEE
15 years 8 months ago
2005
IEEE
Point-based modeling and rendering is an active area of research in Computer Graphics. The concept of points with attributes (e.g. normals) is usually referred to as surfels, and ...
149
click to vote
FOCS
1998
IEEE
15 years 6 months ago
1998
IEEE
We examine the number T of queries that a quantum network requires to compute several Boolean functions on f0;1gN in the black-box model. We show that, in the blackbox model, the ...
125
Voted
ASIACRYPT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
NIPS
2007
15 years 3 months ago
2007
In this paper, we show that classical survival analysis involving censored data can naturally be cast as a ranking problem. The concordance index (CI), which quantifies the quali...