1117 search results - page 50 / 224 » Equivalent Representations of Set Functions |
166
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
FSS
2010
14 years 8 months ago
2010
In this paper we extend the geometric approach to the theory of evidence in order to include the class of necessity measures, represented on a finite domain of “frame” by con...
NAR
2000
14 years 9 months ago
2000
Expressed sequence tags (ESTs) have provided a first glimpse of the collection of transcribed sequences in a variety of organisms. However, a careful analysis of this sequence dat...
CGF
2010
14 years 9 months ago
2010
The Bidirectional Texture Function (BTF) is becoming widely used for accurate representation of real-world material appearance. In this paper a novel BTF compression model is prop...
CVPR
2001
IEEE
15 years 11 months ago
2001
IEEE
In this paper, we propose a novel method, called local nonnegative matrix factorization (LNMF), for learning spatially localized, parts-based subspace representation of visual pat...