Sciweavers

3679 search results - page 463 / 736
» Hybrid Semantic Analysis
Sort
View
AAI
2010
108views more  AAI 2010»
15 years 6 months ago
Augmenting Subsumption Propagation in Distributed Description Logics
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
Martin Homola, Luciano Serafini
TAOSD
2010
15 years 5 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo...
POPL
2012
ACM
14 years 2 months ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
ICIP
2008
IEEE
16 years 8 months ago
Shot classification for action movies based on motion characteristics
In this paper, we propose a shot classification method for action movies. Considering that motion characteristic is very important for semantic movie analysis, and it contains abu...
Shuhui Wang, Shuqiang Jiang, Qingming Huang, Wen G...
ICDE
2007
IEEE
139views Database» more  ICDE 2007»
16 years 8 months ago
Updating Recursive XML Views of Relations
This paper investigates the view update problem for XML views published from relational data. We consider (possibly) recursively defined XML views, compressed into DAGs and stored...
Byron Choi, Gao Cong, Wenfei Fan, Stratis Viglas