3573 search results - page 296 / 715 » Reasoning about Codata |
238
click to vote
GIS
2006
ACM
16 years 5 months ago
2006
ACM
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision-making, reasoning, and analysis. Raw input about un...
139
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper is about constructing confidence bands around ROC curves. We first introduce to the machine learning community three band-generating methods from the medical field, and...
125
click to vote
ICML
2000
IEEE
16 years 5 months ago
2000
IEEE
This paper describes Pairwise Bisection: a nonparametric approach to optimizing a noisy function with few function evaluations. The algorithm uses nonparametric reasoning about si...
246
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
153
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
We address the problem of collecting a database of "common-sense facts" using a computer game. Informally, a common-sense fact is a true statement about the world that i...