2448 search results - page 330 / 490 » The Octahedron Abstract Domain |
104
click to vote
ICIAP
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. We present a technique that achieves local contrast enhancement by representing it as an optimization problem. For this, we first introduce a scalar objective function th...
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
SOFSEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We present Content Extraction via Tag Ratios (CETR) – a method to extract content text from diverse webpages by using the HTML document’s tag ratios. We describe how to comput...
DASFAA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. Until recently algorithms continuously gained free performance improvements due to ever increasing processor speeds. Unfortunately, this development has reached its limit...