44651 search results - page 89 / 8931 » A Generalization of the Least General Generalization |
139
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
196
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
High dimensional data has always been a challenge for clustering algorithms because of the inherent sparsity of the points. Recent research results indicate that in high dimension...
154
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...
187
click to vote
IPPS
1994
IEEE
15 years 10 months ago
1994
IEEE
Generalized speedup is de ned as parallel speed over sequential speed. In this paper the generalized speedup and its relation with other existing performance metrics, such as trad...
135
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...