114 search results - page 14 / 23 » On Scene Interpretation with Description Logics |
DLOG
2003
15 years 1 months ago
2003
We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different...
LATIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
Efficient video content management and exploitation requires extraction of the underlying semantics, a non-trivial task associating low-level features of the image domain and high...
112
click to vote
BMVC
2010
2010
Recognizing human actions in still images: a study of bag-of-features and part-based representations
14 years 9 months ago
Recognition of human actions is usually addressed in the scope of video interpretation. Meanwhile, common human actions such as "reading a book", "playing a guitar&...
119
click to vote
ENTCS
2006
14 years 11 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...