891 search results - page 7 / 179 » Full Abstraction for PCF |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
ENTCS
2010
13 years 7 months ago
2010
CRV
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...