27692 search results - page 297 / 5539 » Where is ... |
102
Voted
ISBI
2009
IEEE
15 years 7 months ago
2009
IEEE
We present the application of a novel nonparametric approach to restoration and interpolation of medical images. The proposed approach is based on the notion of spatially adaptive...
93
Voted
ICALP
2009
Springer
15 years 7 months ago
2009
Springer
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We present a polynomial time algorithm that finds a satisfying assignment of Φ with high p...
108
Voted
IPSN
2009
Springer
15 years 7 months ago
2009
Springer
We consider the problem of monitoring spatial phenomena, such as road speeds on a highway, using wireless sensors with limited battery life. A central question is to decide where ...
69
Voted
STACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of representing, in a compressed format, a bitvector S of m bits with n 1s, supporting the following operations, where b ∈ {0, 1}:
73
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...