22 search results - page 1 / 5 » aplas 2007 |
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
ICDE
2007
IEEE
14 years 5 months ago
2007
IEEE
The ability to store and query uncertain information is of great benefit to databases that infer values from a set of observations, including databases of moving objects, sensor r...
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
APLAS
2007
ACM
13 years 8 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi