3656 search results - page 6 / 732 » Compact Location Problems |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
Automatic detection and correction of image orientation is of great importance in intelligent image processing. In this paper, we present an automatic image orientation detection ...
ECAI
2006
Springer
14 years 6 days ago
2006
Springer
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...
GECCO
2000
Springer
14 years 4 days ago
2000
Springer
One method for compacting executable computer code is to replace commonly repeated sequences of instructions with macro instructions from a decoding dictionary. The size of the de...
STOC
2003
ACM
14 years 8 months ago
2003
ACM