3820 search results - page 325 / 764 » Bounded Model Debugging |
119
click to vote
ICIAP
2003
ACM
16 years 4 months ago
2003
ACM
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
137
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We prove that the number of Pareto-optimal solutions in any multiobjective binary optimization problem with a finite number of linear objective functions is polynomial...
154
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the last few years, long-distance WiFi networks have been used to provide Internet connectivity in rural areas. The strong requirement to support real-time applications in th...
155
click to vote
WASA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper is motivated by exploring the impact of the number of channels on the achievable communication latency for a specific communication task. We focus on how to u...
126
click to vote
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
The faulty memory RAM presented by Finocchi and Italiano [1] is a variant of the RAM model where the content of any memory cell can get corrupted at any time, and corrupted cells c...