14121 search results - page 315 / 2825 » Interval Computations in Computer Vision |
203
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
140
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Pen computing as afield broadly includes computers and applications in which a pen is the main input device. This field continues to draw a lot of attention from researchers becau...
214
click to vote
CGF
2010
15 years 5 months ago
2010
A growing number of applications depend on accurate and fast 3D scene analysis. Examples are model and lightfield acquisition, collision prevention, mixed reality, and gesture re...
202
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A critical function in both machine vision and biological vision systems is attentional selection of scene regions worthy of further analysis by higher-level processes such as obj...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...