3820 search results - page 422 / 764 » Bounded Model Debugging |
158
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
109
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...
143
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
In this paper, we propose a new model of resilient data aggregation in sensor networks, where the aggregator analyzes the received sensor readings and tries to detect unexpected d...
107
Voted
ALT
2009
Springer
16 years 28 days ago
2009
Springer
Motivated by the principle of agnostic learning, we present an extension of the model introduced by Balcan, Blum, and Gupta [3] on computing low-error clusterings. The extended mod...
140
Voted
ICCAD
2003
IEEE
16 years 26 days ago
2003
IEEE
Energy consumption is an important performance parameter for portable and wireless embedded systems. However, energy consumption must be carefully balanced with real-time responsi...