4949 search results - page 67 / 990 » Consistency and Set Intersection |
115
click to vote
AML
2000
15 years 3 months ago
2000
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...
145
click to vote
JAR
2000
15 years 3 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
124
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Many applications benefit from surface parameterization, including texture mapping, morphing, remeshing, compression, object recognition, and detail transfer, because processing i...
131
Voted
FAABS
2004
Springer
15 years 7 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
126
click to vote
FUZZIEEE
2007
IEEE
15 years 5 months ago
2007
IEEE
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...