7228 search results - page 806 / 1446 » From Algorithmic to Subjective Randomness |
337
Voted
POPL
2009
ACM
16 years 8 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
173
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we discuss a prototype application deployed at the U.S. National Science Foundation for assisting program directors in identifying reviewers for proposals. The appl...
162
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
332
Voted
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
271
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Uncertain data are inherent in some important applications, such as environmental surveillance, market analysis, and quantitative economics research. Due to the importance of thos...