5221 search results - page 868 / 1045 » An On-line Problem Database |
226
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
213
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Information Extraction (IE) — the problem of extracting structured information from unstructured text — has become the key enabler for many enterprise applications such as sem...
219
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
The variations of pose lead to significant performance
decline in face recognition systems, which is a bottleneck
in face recognition. A key problem is how to measure the
simila...
200
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper, we present an enhanced Pictorial Struc-
ture (PS) model for precise eye localization, a fundamen-
tal problem involved in many face processing tasks. PS is
a comp...
185
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
In this paper, we investigate the detection of semantic
human actions in complex scenes. Unlike conventional
action recognition in well-controlled environments,
action detection...