1587 search results - page 118 / 318 » The Semantics of Extended SOFL |
TCSV
2002
13 years 8 months ago
2002
Video query by semantic keywords is one of the most challenging research issues in video data management. To go beyond low-level similarity and access video data content by semanti...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents preliminary results on anonymization and obfuscation techniques to preserve users' privacy in context-aware service provisioning. The techniques are based...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
AI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
TABLEAUX
1997
Springer
14 years 1 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...