Sciweavers

1560 search results - page 144 / 312
» Order Functions and Evaluation Codes
Sort
View
SAS
2007
Springer
14 years 4 months ago
Shape Analysis with Structural Invariant Checkers
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
CCECE
2006
IEEE
14 years 4 months ago
Single-Sensor Image Compression from the End-User's Perspective
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...
Rastislav Lukac, Konstantinos N. Plataniotis
DAS
2006
Springer
14 years 1 months ago
Segmentation-Driven Recognition Applied to Numerical Field Extraction from Handwritten Incoming Mail Documents
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...
Clément Chatelain, Laurent Heutte, Thierry ...
DGO
2007
109views Education» more  DGO 2007»
13 years 11 months ago
First generation e-rulemaking: an assessment of regulatory agency websites
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. ...
Stuart Shapiro, Cary Coglianese
DAGSTUHL
1996
13 years 11 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
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...
Flemming Nielson, Hanne Riis Nielson