38 search results - page 8 / 8 » lics 2007 |
LICS
2007
IEEE
14 years 5 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
LICS
2007
IEEE
14 years 5 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
We address the classic problems of detection, segmenta-
tion and pose estimation of people in images with a novel
definition of a part, a poselet. We postulate two criteria
(1) ...