4211 search results - page 46 / 843 » A formal approach to MASQ |
AEI
1999
13 years 10 months ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
CONCURRENCY
2008
13 years 10 months ago
2008
context. In contrast to previous approaches that take a very abstract view of IQ properties, we allow scientists to define the quality characteristics that are of importance to the...
GVD
2009
13 years 8 months ago
2009
Evaluating a traditional database query against a data tuple returns a true on match and a false on mismatch. Unfortunately, there are many application scenarios where such an eva...
AIME
2011
Springer
12 years 11 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
TPHOL
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...