11160 search results - page 127 / 2232 » Incompleteness in a General Setting |
94
Voted
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
88
Voted
FCCM
2005
IEEE
15 years 6 months ago
2005
IEEE
FPGA-based floating-point kernels must exploit algorithmic parallelism and use deeply pipelined cores to gain a performance advantage over general-purpose processors. Inability t...
92
Voted
ISHPC
1997
Springer
15 years 4 months ago
1997
Springer
We propose two resource management methods; a scheduling policy that re
ects resource consumption states and a memory-replacement strategy based on page classi cation under distrib...
92
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
We consider semi-supervised classification when part of the available data is unlabeled. These unlabeled data can be useful for the classification problem when we make an assumpti...
127
Voted
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
The Matching Pursuits (MP) coding method has been employed successfully in video coding. In it, the motion compensated frame difference is decomposed on an overcomplete dictionary...