Sciweavers

243 search results - page 12 / 49
» An Algebra for Composing Ontologies
Sort
View
ICCSA
2005
Springer
14 years 2 months ago
Modelling of Process of Electronic Signature with Petri Nets and (Max, Plus) Algebra
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
Ahmed Nait-Sidi-Moh, Maxime Wack
ADG
2000
Springer
122views Mathematics» more  ADG 2000»
14 years 24 days ago
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
Hongbo Li, Yihong Wu
SEMWEB
2007
Springer
14 years 2 months ago
X-SOM Results for OAEI 2007
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
Carlo Curino, Giorgio Orsi, Letizia Tanca
COOPIS
2004
IEEE
14 years 6 days ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter
CVPR
1998
IEEE
14 years 22 days ago
Projective Translations and Affine Stereo Calibration
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
Andreas Ruf, Gabriela Csurka, Radu Horaud