53 search results - page 8 / 11 » Solving structured linear systems with large displacement ra... |
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
We describe a method for learning steerable deformable part models. Our models exploit the fact that part templates can be written as linear filter banks. We demonstrate that one...
ARC
2010
Springer
14 years 3 months ago
2010
Springer
Computing the solution to a system of linear equations is a fundamental problem in scientific computing, and its acceleration has drawn wide interest in the FPGA community [1–3]...
ACCV
2006
Springer
14 years 2 months ago
2006
Springer
This paper presents a method of image-based 3D modeling for intricately-shaped objects, such as a fur, tree leaves and human hair. We formulate the imaging process of these small g...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Image-based navigation paradigms have recently emerged as an interesting alternative to conventional modelbased methods in mobile robotics. In this paper, we augment the existi...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...