6926 search results - page 1108 / 1386 » A More Effective CEFF |
182
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose a simple yet effective method of identifying traffic conditions on surface streets given location traces collected from on-road vehicles--this requires o...
168
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we address issues concerning bilevel image compression using JPEG2000. While JPEG2000 is designed to compress both bilevel and continuous tone image data using a sin...
245
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we propose a new algorithm that solves both the stereo matching and the image denoising problem simultaneously for a pair of noisy stereo images. Most stereo algorit...
174
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
185
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...