200 search results - page 12 / 40 » Sketching valuation functions |
AC
1997
Springer
15 years 1 months ago
1997
Springer
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...
AMEC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In many settings, bidding agents for auctions do not know their preferences a priori. Instead, they must actively determine them through deliberation (e.g., information p...
PLDI
2000
ACM
15 years 1 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
SCP
1998
14 years 9 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...