629 search results - page 54 / 126 » Parallelization Method for a Continuous Property |
CAGD
2010
13 years 4 months ago
2010
Skinning of an ordered set of discrete circles is discussed in this paper. By skinning we mean the geometric construction of two G1 continuous curves touching each of the circles ...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Automatically discovering common visual patterns from a collection of images is an interesting but yet challenging task, in part because it is computationally prohibiting. Althoug...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
NIPS
1996
13 years 9 months ago
1996
A central theme of computational vision research has been the realization that reliable estimation of local scene properties requires propagating measurements across the image. Ma...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...