1802 search results - page 11 / 361 » Model-based Theory Combination |
105
Voted
ENTCS
2008
15 years 3 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
109
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we propose a new tool called OWL-CM (OWL Combining Matcher) that deals with uncertainty inherent to ontology mapping process. On the one hand, OWL-CM uses the techniq...
181
Voted
FROCOS
2011
Springer
14 years 3 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
117
Voted
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Adaptive Resonance Theory (ART) is an unsupervised neural network. Fuzzy ART (FART) is a variation of ART, allows both binary and continuous input patterns. However, Fu...
160
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
Many access control policy languages, e.g., XACML, allow a policy to contain multiple sub-policies, and the result of the policy on a request is determined by combining the result...