961 search results - page 144 / 193 » An Algorithm for Computing Semi-stable Semantics |
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
MM
2009
ACM
14 years 3 months ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
ASWC
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Developing ontologies is not an easy task and often the resulting ontologies are not consistent or complete. Such ontologies, although often useful, also lead to problems...
FCSC
2010
13 years 6 months ago
2010
Graphical models have become the basic framework for topic based probabilistic modeling. Especially models with latent variables have proved to be effective in capturing hidden str...