1724 search results - page 60 / 345 » Abstract Interpreters for Free |
152
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
129
click to vote
ARSCOM
2006
15 years 5 months ago
2006
Abstract. There are several well-known and important hamiltonian results for claw-free graphs but only a few are concerned with quasi-claw-free graphs. In this note, we provide a n...
108
click to vote
HCI
2009
15 years 3 months ago
2009
Abstract. In this paper we present our approach for a new contactfree Human-Machine Interface (cfHMI). This cfHMI is designed for controlling applications
152
click to vote
IFIP
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
143
click to vote
IJCAI
2003
15 years 6 months ago
2003
An interpretation system finds the likely mappings from portions of an image to real-world objects. An interpretation policy specifies when to apply which imaging operator, to whi...