Search Sciweavers | Sciweavers

1995 search results - page 87 / 399

» Belief in Information Flow

click to vote

PSIVT
2009
Springer

252views Multimedia» more PSIVT 2009»

Moving Object Segmentation Using Optical Flow and Depth Information

14 years 1 months ago

Download www.mi.auckland.ac.nz

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...

Jens Klappstein, Tobi Vaudrey, Clemens Rabe, Andre...

claim paper

Read More »

click to vote

ESOP
2001
Springer

145views Programming Languages» more ESOP 2001»

Secure Information Flow and CPS

14 years 1 months ago

Download www.cis.upenn.edu

Security-typed languages enforce conﬁdentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...

Steve Zdancewic, Andrew C. Myers

claim paper

Read More »

click to vote

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

14 years 1 months ago

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel

claim paper

Read More »