Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
Single-sensor imaging pipelines comprised of various image compression and demosaicking solutions are presented. Since the end-user usually inspects captured images available in t...
Abstract. In this paper, we present a method for the automatic extraction of numerical fields (zip codes, phone numbers, etc.) from incoming mail documents. The approach is based o...
We examine 89 websites from federal regulatory agencies in order to evaluate their ease of use for those interested in commenting on or learning about their proposed regulations. ...
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...