7289 search results - page 80 / 1458 » A Dependent Set Theory |
FOSSACS
2011
Springer
12 years 11 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
AML
2008
13 years 8 months ago
2008
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already exis...
FSS
2002
13 years 7 months ago
2002
We present a new and natural interpretation of fuzzy sets and fuzzy relations where the basic notions and operations have quite natural meanings. We interpret fuzzy sets and fuzzy...
PODS
2003
ACM
14 years 8 months ago
2003
ACM
Computing frequent itemsets and maximally frequent itemsets in a database are classic problems in data mining. The resource requirements of all extant algorithms for both problems...
DBPL
2001
Springer
14 years 13 days ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...