3552 search results - page 438 / 711 » Proof theory in the abstract |
160
Voted
DAGSTUHL
2006
15 years 8 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
176
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
198
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
163
click to vote
DLOG
1997
15 years 8 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
190
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Mutual Information (MI) is a powerful concept from information theory used in many application fields. For practical tasks it is often necessary to estimate the Mutual In...