2623 search results - page 235 / 525 » tools 2010 |
189
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
245
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Huge amounts of search and browse log data has been accumulated in various search engines. Such massive search/browse log data, on the one hand, provides great opportunities to mi...
157
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Information theory provides a range of useful methods to analyse probability distributions and these techniques have been successfully applied to measure information flow and the ...
171
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
157
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
—Data compression techniques such as null suppression and dictionary compression are commonly used in today’s database systems. In order to effectively leverage compression, it...