1117 search results - page 50 / 224 » Equivalent Representations of Set Functions |
200
click to vote
POPL
2007
ACM
16 years 1 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...
107
click to vote
FSS
2010
14 years 11 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...
109
Voted
NAR
2000
15 years 16 days 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...
106
Voted
CGF
2010
15 years 27 days 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...
103
click to vote
CVPR
2001
IEEE
16 years 2 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...