2436 search results - page 88 / 488 » Comonadic Notions of Computation |
111
click to vote
IANDC
2008
15 years 3 months ago
2008
We introduce two resource-bounded Baire category notions on small complexity classes such as P, QUASIPOLY, SUBEXP and PSPACE and on probabilistic classes such as BPP, which differ...
151
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
111
click to vote
DCC
2010
IEEE
15 years 10 months ago
2010
IEEE
—We consider Slepian-Wolf coding of multiple sources and extend the packing bound and the notion of perfect code from conventional channel coding to SW coding with more than two ...
141
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...
118
click to vote
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
Using relation algebra, we generalize Aumann’s notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced parti...