1497 search results - page 245 / 300 » Extended static checking |
BIRTHDAY
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a new approach to iteratively estimate both
high-quality depth map and alpha matte from a single image
or a video sequence. Scene depth, which is invariant
to illumin...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
Scene appearance from the point of view of a light source
is called a reciprocal or dual view. Since there exists a large
diversity in illumination, these virtual views may be no...
CVPR
2000
IEEE
14 years 11 months ago
2000
IEEE
A dynamic layer representation is proposed in this paper for tracking moving objects. Previous work on layered representations has largely concentrated on two-/multiframe batch fo...