1533 search results - page 237 / 307 » Semantic Matching: Algorithms and Implementation |
IUI
2004
ACM
14 years 3 months ago
2004
ACM
The usefulness of ontology is strongly dependent on the knowledge representation policy and its maintenance. The subject of knowledge representation and modeling tool has been one...
UIST
1998
ACM
14 years 2 months ago
1998
ACM
The cartographic Principle of Constant Information Density suggests that the amount of information in an interactive visualization should remain constant as the user pans and zoom...
ISMIS
1997
Springer
14 years 2 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
CAV
1997
Springer
14 years 1 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...