3820 search results - page 521 / 764 » Bounded Model Debugging |
121
click to vote
JCS
2008
15 years 2 months ago
2008
Controlled Query Evaluation (CQE) defines a logical framework to protect confidential information in a database. By modeling a user's a priori knowledge appropriately, a CQE ...
131
click to vote
PR
2007
15 years 2 months ago
2007
The volume, location of the centroid, and second order moments of a threedimensional star-shaped object are determined in terms of the spherical harmonic coefficients of its bound...
115
click to vote
JAIR
2010
15 years 1 months ago
2010
We study a setting where a principal needs to motivate a team of agents whose combination of hidden efforts stochastically determines an outcome. In a companion paper we devise an...
100
click to vote
JC
2010
15 years 1 months ago
2010
We present a new general class of methods for the computation of high-dimensional integrals. The quadrature schemes result by truncation and discretization of the anchored-ANOVA d...
144
click to vote
MFCS
2010
Springer
15 years 1 months ago
2010
Springer
We consider evaluating one bilinear form defined by a sparse Ny × Nx matrix A having h entries on w pairs of vectors The model of computation is the semiring I/O-model with main ...