2501 search results - page 58 / 501 » Logics with Rank Operators |
113
Voted
CVPR
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a multi-frame data association algorithm for tracking multiple targets in video sequences. Multi-frame data association involves finding the most probable corr...
110
Voted
JAIR
2011
14 years 10 months ago
2011
Traditional learning-based coreference resolvers operate by training the mention-pair model for determining whether two mentions are coreferent or not. Though conceptually simple ...
228
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
159
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of tempora...
122
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we propose an adaptive approach to merging possibilistic knowledge bases that deploys multiple operators instead of a single operator in the merging process. The me...