23036 search results - page 369 / 4608 » Sketching informal presentations |
178
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, we present an unconstrained visual gaze estimation system. The proposed method extracts the visual field of view of a person looking at a target scene in order to e...
174
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
163
Voted
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
178
Voted
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
191
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We outline a framework for managing information quality (IQ) in eScience, using ontologies, semantic annotation of resources, and data bindings. Scientists define the qua...