Sciweavers

1995 search results - page 53 / 399
» Belief in Information Flow
Sort
View
ICCV
2007
IEEE
14 years 10 months ago
A Variational Method for Scene Flow Estimation from Stereo Sequences
This paper presents a method for scene flow estimation from a calibrated stereo image sequence. The scene flow contains the 3-D displacement field of scene points, so that the 2-D...
Frederik Huguet, Frederic Devernay
OSDI
2006
ACM
14 years 9 months ago
From Uncertainty to Belief: Inferring the Specification Within
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. ...
HICSS
2002
IEEE
139views Biometrics» more  HICSS 2002»
14 years 1 months ago
Examining Quality of Care -- How Poor Information Flow Can Impact on Hospital Workflow and Affect Patient Outcomes
This paper argues that effective management of patient image data can enhance patient care. It examines the workflow and information flows involved in the search for image based d...
Reeva M. Lederman, Iain Morrison
CCS
2006
ACM
14 years 19 days ago
Secure information flow with random assignment and encryption
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
Geoffrey Smith
CSFW
2004
IEEE
14 years 19 days ago
Modelling Downgrading in Information Flow Security
Information flow security properties such as noninterference ensure the protection of confidential data by strongly limiting the flow of sensitive information. However, to deal wi...
Annalisa Bossi, Carla Piazza, Sabina Rossi