4814 search results - page 92 / 963 » Combining abstract interpreters |
108
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
106
click to vote
FSS
2006
15 years 5 months ago
2006
Abstract. We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives for...
139
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...
188
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
133
click to vote
VIS
2007
IEEE
16 years 6 months ago
2007
IEEE
r Surface Abstraction Gregory Cipriano, Student Member, IEEE, and Michael Gleicher Abstract-paper we introduce a visualization technique that provides an abstracted view of the sha...