400 search results - page 16 / 80 » Moving Proofs-As-Programs into Practice |
USS
2008
13 years 9 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Ultimately being motivated by facilitating space-variant blind deconvolution, we present a class of linear transformations, that are expressive enough for space-variant filters, ...
AVSS
2006
IEEE
2006
IEEE
"Hybrid Cone-Cylinder" Codebook Model for Foreground Detection with Shadow and Highlight Suppression
14 years 1 months ago
In the interest of 24-7 long-term surveillance, a truly robust, adaptive, and fast background-foreground segmentation technique is required. This paper deals with the especially d...
HAID
2009
Springer
14 years 3 days ago
2009
Springer
In this paper, recent developments of the HFVE vision-substitution system are described; and the initial results of a trial of the “Silooet” software are reported. The system u...
IJMMS
1998
13 years 7 months ago
1998
Situated cognition is not a mere philosophical concern: it has pragmatic implications for current practice in knowledge acquisition. Tools must move from being design-focused to b...