1280 search results - page 115 / 256 » Soft Typing with Conditional Types |
CSFW
1995
IEEE
14 years 24 days ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
CVPR
1999
IEEE
14 years 11 months ago
1999
IEEE
A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
In this article, we propose a special type of decision tree, called a decision cascade, for binarizing document images. Such images are produced by cameras, resulting in varying de...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
In this paper we present a technique for the tracking of textured almost planar object. The target is modeled as a noisy planar cloud of points. The tracking is led with an approp...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
This paper addresses the problem of deriving measures that express the degree of the reliability of motion vectors estimated by a Block Matching motion estimation method. We expre...