253 search results - page 7 / 51 » How to Transform an Analyzer into a Verifier |
ENTCS
2006
13 years 7 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
FOCS
2004
IEEE
13 years 11 months ago
2004
IEEE
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
We developed DataBoard, a freeform spatial interface, to support users in simple problem solving tasks. To develop a deeper understanding of the role of space and the tradeoffs be...
PPDP
2005
Springer
14 years 29 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
We present a novel multiscale image representation belonging to the class of multiscale multiplicative decompositions, which we term Poisson-Haar transform. The proposed represent...