Sciweavers

2521 search results - page 455 / 505
» Semantic Component Composition
Sort
View
108
Voted
EON
2008
15 years 1 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
129
Voted
EFDBS
2003
15 years 1 months ago
Four-Level-Architecture for Closure in Interoperability
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
B. Nick Rossiter, Michael A. Heather
CGF
2010
204views more  CGF 2010»
15 years 19 days ago
Automatic Animation for Time-Varying Data Visualization
This paper presents a digital storytelling approach that generates automatic animations for time-varying data visualization. Our approach simulates the composition and transition ...
Li Yu, Aidong Lu, William Ribarsky, Wei Chen
153
Voted
PR
2008
328views more  PR 2008»
15 years 14 days ago
Activity based surveillance video content modelling
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...
Tao Xiang, Shaogang Gong
126
Voted
IPM
2007
105views more  IPM 2007»
15 years 12 days ago
Schema and constraints-based matching and merging of Topic Maps
In this paper, we propose a multi-strategic matching and merging approach to find correspondences between ontologies based on the syntactic or semantic characteristics and constr...
Jung-Min Kim, Hyopil Shin, Hyoung-Joo Kim