1999 search results - page 288 / 400 » Finding Reductions Automatically |
121
click to vote
PAMI
2007
15 years 1 months ago
2007
—An open vision problem is to automatically track the articulations of people from a video sequence. This problem is difficult because one needs to determine both the number of p...
135
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
140
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
227
click to vote
ICASSP
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we propose a new re-coloring algorithm to enhance the accessibility for the color vision deficient (or colorblind). Compared to people with normal color vision, peop...
108
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
We consider learning models for object recognition from examples. Our method is motivated by systems that use the Hausdorff distance as a shape comparison measure. Typically an ob...