1813 search results - page 63 / 363 » Instance Pruning Techniques |
103
click to vote
ENTCS
2007
14 years 11 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
ANOR
2004
14 years 11 months ago
2004
Abstract. In recent years we have seen an increasing interest in combining constraint satisfaction problem (CSP) formulations and linear programming (LP) based techniques for solvi...
SIGIR
2002
ACM
14 years 11 months ago
2002
ACM
The quality of translation resources is arguably the most important factor affecting the performance of a cross-language information retrieval system. While many investigations ha...
JSAC
2010
14 years 6 months ago
2010
Jamming-resistant communication is crucial for safety-critical applications such as emergency alert broadcasts or the dissemination of navigation signals in adversarial settings. I...
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
We address the classic wire-length estimation problem and propose a new statistical wire-length estimation approach that captures the probability distribution function of net leng...