2436 search results - page 20 / 488 » Comonadic Notions of Computation |
MST
2008
13 years 7 months ago
2008
The Turing and many-one completeness notions for NP have been previously separated under measure, genericity, and bi-immunity hypotheses on NP. The proofs of all these results rel...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
RSCTC
2000
Springer
13 years 11 months ago
2000
Springer
The aim of the paper is to present basic notions related to granular computing, namely the information granule syntax and semantics as well as the inclusion and closeness (similari...
CANDC
1999
ACM
13 years 11 months ago
1999
ACM
Traditionally, the notion of home crafting connotes the use of "low-tech" materials and techniques; but increasingly, the once-distinct worlds of crafting and computatio...
CCA
2009
Springer
13 years 11 months ago
2009
Springer
We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent u...