831 search results - page 47 / 167 » Coalgebraic Correspondence Theory |
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
SIGECOM
2008
ACM
14 years 11 months ago
2008
ACM
This paper studies a virus inoculation game on social networks. A framework is presented which allows the measuring of the windfall of friendship, i.e., how much players benefit i...
100
click to vote
KAIS
2000
14 years 11 months ago
2000
In this paper, a fast adaptive neural network classifier named FANNC is proposed. FANNC exploits the advantages of both adaptive resonance theory and field theory. It needs only on...
109
click to vote
INFFUS
2010
14 years 6 months ago
2010
The problem of fusing beliefs in the Dempster-Shafer belief theory has attracted considerable attention over the last two decades. The classical Dempster's Rule has often bee...
ICIP
2002
IEEE
16 years 1 months ago
2002
IEEE
The state of the art for solving the phase retrieval problem in two dimensions relies heavily on the algorithms proposed by Gerchberg, Saxton, and Fienup. Despite the widespread u...