891 search results - page 7 / 179 » Full Abstraction for PCF |
BMCBI
2010
14 years 11 months ago
2010
35
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
ENTCS
2010
14 years 11 months ago
2010
209
click to vote
CRV
2011
IEEE
13 years 11 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...
120
click to vote
CSFW
2012
IEEE
13 years 2 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...