882 search results - page 77 / 177 » On self-embeddings of computable linear orderings |
102
click to vote
CVPR
2012
IEEE
13 years 11 days 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...
SC
2009
ACM
2009
ACM
Comparative study of one-sided factorizations with multiple software packages on multi-core hardware
15 years 2 months ago
The emergence and continuing use of multi-core architectures require changes in the existing software and sometimes even a redesign of the established algorithms in order to take ...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces a clever way of computing inner products between images in order to drastically reduce the computational complexity of fitting appearance models to images. T...
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...
119
click to vote
TOG
2012
13 years 12 days ago
2012
We present a parallel iterative rigid body solver that avoids common artifacts at low iteration counts. In large or real-time simulations, iteration is often terminated before con...