Sciweavers

16666 search results - page 22 / 3334
» Descriptive and Computational Complexity
Sort
View
FSTTCS
2005
Springer
14 years 4 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
EUC
2005
Springer
14 years 4 months ago
The Content Analyzer Supporting Interoperability of MPEG-4 Content in Heterogeneous Players
MPEG-4 supports object-based interactive multimedia applications. To compose complex multimedia scene, MPEG-4 supports BIFS and XMT as scene description. For interoperability of th...
Hyunju Lee, Sangwook Kim
KI
2009
Springer
14 years 5 months ago
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
Xiaowang Zhang, Zuoquan Lin
SEMCO
2007
IEEE
14 years 5 months ago
Multimedia Reasoning with Natural Language Support
In this paper we present an approach that combines multimedia reasoning and natural language processing for the semantic integration of automatic and manual image annotations base...
Stamatia Dasiopoulou, Johannes Heinecke, Carsten S...
AAAI
2010
14 years 10 days ago
Past and Future of DL-Lite
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...