8025 search results - page 88 / 1605 » Combinators Introduction: An Algorithm |
119
click to vote
CVPR
1996
IEEE
16 years 3 months ago
1996
IEEE
This paper addresses the problem of recognizing objects in large image databases. The method is based on local characteristics which are invariant to simzlarity transformations in...
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
The goal of this work is to take an image such as the one in Figure 1(a), detect a human figure, and localize his joints and limbs (b) along with their associated pixel masks (c)....
102
click to vote
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...
115
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
119
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...