2079 search results - page 66 / 416 » Quantifying Information Flow |
IFIP
2009
Springer
15 years 7 months ago
2009
Springer
128
click to vote
PSIVT
2009
Springer
15 years 7 months ago
2009
Springer
This paper discusses the detection of moving objects (being a crucial part of driver assistance systems) using monocular or stereoscopic computer vision. In both cases, object dete...
107
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
98
Voted
FM
2001
Springer
15 years 7 months ago
2001
Springer
ICFP
2000
ACM
15 years 7 months ago
2000
ACM