3820 search results - page 141 / 764 » Bounded Model Debugging |
149
Voted
SIAMSC
2010
15 years 1 months ago
2010
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
228
Voted
EMMCVPR
2011
Springer
14 years 2 months ago
2011
Springer
In this work, we are concerned with the detection of multiple objects in an image. We demonstrate that typically applied objectives have the structure of a random field model, but...
108
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
137
Voted
NIPS
2001
15 years 4 months ago
2001
In this paper, it is shown how to extract a hypothesis with small risk from the ensemble of hypotheses generated by an arbitrary on-line learning algorithm run on an independent an...
120
Voted
COCO
2004
Springer
15 years 8 months ago
2004
Springer
Entanglement is an essential resource for quantum communication and quantum computation, similar to shared random bits in the classical world. Entanglement distillation extracts n...