95 search results - page 16 / 19 » Higher-order Carmichael numbers |
87
Voted
CVPR
2008
IEEE
16 years 8 days ago
2008
IEEE
Gaussian blurring mean-shift (GBMS) is a nonparametric clustering algorithm, having a single bandwidth parameter that controls the number of clusters. The algorithm iteratively sh...
93
Voted
IFL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
88
Voted
FTRTFT
1998
Springer
15 years 2 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
98
Voted
TIME
1994
IEEE
15 years 2 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
85
Voted
SIGGRAPH
1993
ACM
15 years 2 months ago
1993
ACM
Radiosity methods have been shown to be an effective means to solve the global illumination problem in Lambertian diffuse environments. These methods approximate the radiosity int...