107 search results - page 1 / 22 » Taming Selective Strictness |
GI
2009
Springer
13 years 9 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
SIGMETRICS
2006
ACM
13 years 10 months ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...
DLOG
2008
13 years 6 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
ECIR
2003
Springer
13 years 5 months ago
2003
Springer
Abstract. In this paper the suitability of different document representations for automatic document classification is compared, investigating a whole range of representations be...
NDSS
2008
IEEE
13 years 11 months ago
2008
IEEE
Anonymization plays a key role in enabling the public release of network datasets, and yet there are few, if any, techniques for evaluating the efficacy of network data anonymiza...