Sciweavers

3793 search results - page 539 / 759
» Expressive Description Logics
Sort
View
FMSD
2002
114views more  FMSD 2002»
15 years 6 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
CN
1999
148views more  CN 1999»
15 years 6 months ago
Automatic RDF Metadata Generation for Resource Discovery
Automatic metadata generation may provide a solution to the problem of inconsistent, unreliable metadata describing resources on the Web. The Resource Description Framework (RDF [...
Charlotte Jenkins, Mike Jackson, Peter Burden, Jon...
MOC
2002
73views more  MOC 2002»
15 years 6 months ago
Evaluation of zeta function of the simplest cubic field at negative odd integers
Abstract. In this paper, we are interested in the evaluation of the zeta function of the simplest cubic field. We first introduce Siegel's formula for values of the zeta funct...
Hyun Kwang Kim, Jung Soo Kim
TMM
2002
113views more  TMM 2002»
15 years 6 months ago
Accommodating hybrid retrieval in a comprehensive video database management system
A comprehensive video retrieval system should be able to accommodate and utilize various (complementary) description data in facilitating effective retrieval. In this paper, we ad...
Shermann S.-M. Chan, Qing Li, Yi Wu, Yueting Zhuan...
MA
2010
Springer
135views Communications» more  MA 2010»
15 years 5 months ago
Asymptotic expansion of the minimum covariance determinant estimators
In Cator and Lopuha¨a [3] an asymptotic expansion for the MCD estimators is established in a very general framework. This expansion requires the existence and non-singularity of ...
Eric A. Cator, Hendrik P. Lopuhaä