3446 search results - page 191 / 690 » A Reasoning Algorithm for pD* |
123
click to vote
ACL
2011
14 years 8 months ago
2011
We learn a joint model of sentence extraction and compression for multi-document summarization. Our model scores candidate summaries according to a combined linear model whose fea...
170
click to vote
CIDR
2011
14 years 8 months ago
2011
End-to-end data processing environments are often comprised of several independently-developed (sub-)systems, e.g. for engineering, organizational or historical reasons. Unfortuna...
178
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
While numerous algorithms have been proposed for object tracking with demonstrated success, it remains a challenging problem for a tracker to handle large change in scale, motion,...
199
click to vote
AAAI
2011
14 years 4 months ago
2011
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...
148
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...