3005 search results - page 161 / 601 » Logical Information Systems: from Taxonomies to Logics |
187
click to vote
ACIVS
2006
Springer
15 years 10 months ago
2006
Springer
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...
177
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
168
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Class syntax can be used to 1) model temporal or locational evolvement of class labels of feature observation sequences, 2) correct classification errors of static classifiers if ...
151
click to vote
TABLEAUX
2007
Springer
16 years 18 days ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
194
click to vote
SUM
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...