3820 search results - page 68 / 764 » Bounded Model Debugging |
116
click to vote
CPAIOR
2008
Springer
15 years 3 months ago
2008
Springer
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...
115
Voted
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We show lower bounds in the cell probe model for the redundancy/query time tradeoff of solutions to static data structure problems.
112
click to vote
ISLPED
1998
ACM
15 years 6 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
TSP
2008
15 years 2 months ago
2008
Minimal bounds on the mean square error (MSE) are generally used in order to predict the best achievable performance of an estimator for a given observation model. In this paper, w...
115
click to vote
TCC
2005
Springer
15 years 7 months ago
2005
Springer
For computationally bounded adversarial models of error, we construct appealingly simple, efficient, cryptographic encoding and unique decoding schemes whose error-correction capab...