5158 search results - page 278 / 1032 » Generalization of the Dempster-Shafer Theory |
179
click to vote
TYPES
2007
Springer
16 years 23 days ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
130
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...
105
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
A Gm- C architecture for a quadrature, sinusoidal os- ± Vref cillator with instantaneous, phase-preserving, linear frequency control Peak detector and independent, static amplitud...
199
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
146
click to vote
COMPGEOM
2006
ACM
16 years 19 days ago
2006
ACM
The k-means method is an old but popular clustering algorithm known for its observed speed and its simplicity. Until recently, however, no meaningful theoretical bounds were known...