387 search results - page 36 / 78 » A Hierarchy of Quantum Semantics |
COLING
2010
14 years 4 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
ISSAC
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
VISUAL
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, we analyze the existing approaches to image data modeling and we propose an image data model and a particular image representation in the proposed model. This model ...
CIIA
2009
14 years 11 months ago
2009
Several rule discovery algorithms have the disadvantage to discover too much patterns sometimes obvious, useless or not very interesting to the user. In this paper we propose a new...
DFG
2004
Springer
15 years 3 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...