9405 search results - page 1435 / 1881 » Computing a Model of Set Theory |
187
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
222
Voted
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
156
Voted
WABI
2001
Springer
15 years 11 months ago
2001
Springer
Radiation hybrid (RH) mapping is a somatic cell technique that is used for ordering markers along a chromosome and estimating physical distances between them. It nicely complements...
203
Voted
DOLAP
2000
ACM
15 years 11 months ago
2000
ACM
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
216
Voted
GW
1999
Springer
15 years 11 months ago
1999
Springer
Following the ecological approach to visual perception, this paper presents a framework that emphasizes the role of vision on referring actions. In particular, affordances are util...