4555 search results - page 519 / 911 » Deductive Algorithmic Knowledge |
204
click to vote
BMVC
2002
15 years 8 months ago
2002
A likelihood formulation for human tracking is presented based upon matching feature statistics on the surface of an articulated 3D body model. A benefit of such a formulation ove...
140
click to vote
AAAI
2007
15 years 8 months ago
2007
Existing methods for single document summarization usually make use of only the information contained in the specified document. This paper proposes the technique of document expa...
132
click to vote
AIIDE
2007
15 years 8 months ago
2007
Machinima is a low-cost alternative to full production filmmaking. However, creating quality cinematic visualizations with existing machinima techniques still requires a high degr...
158
Voted
DLOG
2007
15 years 8 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
171
click to vote
DLOG
2007
15 years 8 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...