1716 search results - page 300 / 344 » Proving Conditional Termination |
153
click to vote
CCGRID
2011
IEEE
14 years 4 months ago
2011
IEEE
—Urban sensing where mobile users continuously gather, process, and share location-sensitive sensor data (e.g., street images, road condition, traffic flow) is emerging as a ne...
96
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
We show that the exact recovery of sparse perturbations on the coefficient matrix in overdetermined Least Squares problems is possible for a large class of perturbation structure...
157
Voted
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
— As sensors continue to proliferate, the capabilities of effectively querying not only sensor data but also its metadata becomes important in a wide range of applications. This ...
127
click to vote
CISS
2010
IEEE
14 years 4 months ago
2010
IEEE
—Gaussian belief propagation is an iterative algorithm for computing the mean of a multivariate Gaussian distribution. Equivalently, the min-sum algorithm can be used to compute ...
106
Voted
EUROSYS
2011
ACM
14 years 4 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...