14121 search results - page 497 / 2825 » Interval Computations in Computer Vision |
159
click to vote
ENTCS
2008
15 years 7 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
180
click to vote
EGH
2010
Springer
15 years 4 months ago
2010
Springer
We present a rasterizer, based on time-dependent edge equations, that computes analytical visibility in order to render accurate motion blur. The theory for doing the computations...
189
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
With nearly one billion online videos viewed everyday, an emerging new frontier in computer vision research is recognition and search in video. While much effort has been devoted ...
200
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper focuses on the problem of word detection and recognition in natural images. The problem is significantly more challenging than reading text in scanned documents, and h...
299
click to vote
Book
"Cluster analysis is an important technique in the rapidly growing field known as exploratory data analysis and is being applied in a variety of engineering and scientific dis...