2954 search results - page 439 / 591 » Beyond |
147
Voted
IPL
2010
15 years 2 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...
161
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We present a novel algorithm for automatically applying constrainable, L1-optimal camera paths to generate stabilized videos by removing undesired motions. Our goal is to compute ...
226
Voted
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We present a method for estimating the relative pose of two calibrated or uncalibrated non-overlapping surveillance cameras from observing a moving object. We show how to tackle t...
187
click to vote
CVPR
2011
IEEE
15 years 10 days ago
2011
IEEE
Hyperspectral imaging is a promising tool for applications in geosensing, cultural heritage and beyond. However, compared to current RGB cameras, existing hyperspectral cameras ar...
142
click to vote
AI
2011
Springer
14 years 12 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...