Sciweavers

2031 search results - page 155 / 407
» On Tree-Constrained Matchings and Generalizations
Sort
View
ATAL
2007
Springer
15 years 4 months ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer
OTM
2007
Springer
15 years 4 months ago
Discovering Executable Semantic Mappings Between Ontologies
Creating executable semantic mappings is an important task for ontology-based information integration. Although it is argued that mapping tools may require interaction from humans ...
Han Qin, Dejing Dou, Paea LePendu
ICDE
2006
IEEE
208views Database» more  ICDE 2006»
15 years 4 months ago
Approximate Video Search Based on Spatio-Temporal Information of Video Objects
The spatio-temporal information of a video object is important for content-based video retrieval. In this paper the spatio-temporal information of a video object, such as the velo...
Chia-Han Lin, Arbee L. P. Chen
RTA
2005
Springer
15 years 3 months ago
On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, ...
ICRA
2003
IEEE
129views Robotics» more  ICRA 2003»
15 years 3 months ago
Self-positioning with an omni-directional stereo system
— This paper presents a self-positioning system for the mobile robot. The proposed positioning system consists of a stereo setup of two ODVs (Omni-Directional Vision) for obtaini...
Jyun-ichi Eino, Toshinobu Takashi, Jun-ichi Takigu...