3384 search results - page 571 / 677 » More Testable Properties |
CAV
2010
Springer
14 years 24 days ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
IMC
2007
ACM
2007
ACM
I tube, you tube, everybody tubes: analyzing the world's largest user generated content video system
13 years 10 months ago
User Generated Content (UGC) is re-shaping the way people watch video and TV, with millions of video producers and consumers. In particular, UGC sites are creating new viewing pat...
CVPR
2003
IEEE
14 years 11 months ago
2003
IEEE
Visual Hull (VH) construction from silhouette images is a popular method of shape estimation. The method, also known as Shape-From-Silhouette (SFS), is used in many applications s...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper conducts an in-depth study on a classical perceptual-organization problem: finding salient closed boundaries from a set of boundary fragments detected in a noisy image....
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We demonstrate a system for capturing multi-thousand frame-per-second (fps) video using a dense array of cheap 30fps CMOS image sensors. A benefit of using a camera array to captu...