1422 search results - page 38 / 285 » Complementation in Abstract Interpretation |
121
Voted
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
205
Voted
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract-- Despite its promise, RFID technology presents numerous challenges, including incomplete data, lack of location and containment information, and very high volumes. In thi...
135
Voted
RSKT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
125
Voted
AUSAI
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
127
Voted
JELIA
1990
Springer
15 years 6 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...