692 search results - page 92 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
113
click to vote
ICONIP
2008
15 years 1 months ago
2008
Abstract. Face perception and text reading are two of the most developed visual perceptual skills in humans. Understanding which features in the respective visual patterns make the...
188
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
UIST
2004
ACM
15 years 5 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
120
click to vote
ISF
2011
14 years 6 months ago
2011
Abstract Extremist organizations are heavily utilizing Internet technologies to increase their abilities to influence the world. Studying those global extremist organizations’ In...
182
click to vote
ICFP
2009
ACM
16 years 14 days ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...