9359 search results - page 386 / 1872 » Generalization Algorithms for Second-Order Terms |
164
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
216
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
159
click to vote
MMSEC
2006
ACM
16 years 19 days ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...
183
click to vote
SIGECOM
2009
ACM
16 years 1 months ago
2009
ACM
The monopolist’s theory of optimal single-item auctions for agents with independent private values can be summarized by two statements. The first is from Myerson [8]: the optim...
177
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...