79 search results - page 5 / 16 » Full Abstraction and the Context Lemma |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract- This paper proposes an evolutionary approach for the composition of solutions in an incremental way. The approach is based on the metaphor of transitions in complexity di...
SLOGICA
2010
13 years 6 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
SACRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. At DRM 2002, Chow et al. [4] presented a method for implementing the DES block cipher such that it becomes hard to extract the embedded secret key in a white-box attack c...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This article presents the development of a humanrobot interaction mechanism based on vision. The functionalities required for such mechanism range from user detection a...