Sciweavers

2302 search results - page 181 / 461
» Basic Description Logics
Sort
View
WECWIS
2005
IEEE
156views ECommerce» more  WECWIS 2005»
15 years 10 months ago
EXSMAL: EDI/XML Semi-Automatic Schema Matching ALgorithm
We describe a schema matching algorithm EXSMAL that automates the semantic correspondence discovery between the EDI (Electronic Data Interchange) messages of various standards (ED...
Uddam Chukmol, Rami Rifaieh, Aïcha-Nabila Ben...
IBPRIA
2005
Springer
15 years 10 months ago
Extracting Motion Features for Visual Human Activity Representation
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...
Filiberto Pla, Pedro Canotilho Ribeiro, José...
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 5 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
BIOSYSTEMS
2008
130views more  BIOSYSTEMS 2008»
15 years 4 months ago
Biological networks in metabolic P systems
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
Vincenzo Manca, Luca Bianco
ASP
2003
Springer
15 years 9 months ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke