7167 search results - page 1139 / 1434 » Answer Set Programming |
167
Voted
CIVR
2010
Springer
15 years 24 days ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
105
Voted
CNSM
2010
15 years 24 days ago
2010
Many industries experience an explosion in digital content. This explosion of electronic documents, along with new regulations and document retention rules, sets new requirements f...
148
Voted
DLOG
2010
15 years 23 days ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
145
Voted
SOFSEM
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
137
click to vote
CVPR
1999
IEEE
16 years 4 months ago
1999
IEEE
The task of multi-camera surveillance is to reconstruct the paths taken by all moving objects that are temporarily visible from multiple non-overlapping cameras. We present a Baye...