38 search results - page 8 / 8 » lics 2007 |
LICS
2007
IEEE
14 years 10 days 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 10 days 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
14 years 11 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) ...