916 search results - page 55 / 184 » Algorithm selection: a quantitative computation-intensive op... |
117
click to vote
CVPR
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a particle filter-based target tracking algorithm for FLIR imagery. A dual foreground and background model is proposed for target representation which supports robust ...
118
click to vote
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
138
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
In this paper we present an approach of generating Cascading Style Sheet documents automatically if the desired effect on the content elements is specified. While a Web user agent...
113
click to vote
PKDD
2009
Springer
15 years 9 months ago
2009
Springer
A frequent problem in density level-set estimation is the choice of the right features that give rise to compact and concise representations of the observed data. We present an e...
133
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...