2436 search results - page 60 / 488 » Comonadic Notions of Computation |
MOR
2010
13 years 8 months ago
2010
The goal of the current paper is to introduce the notion of certificates which verify the accuracy of solutions of computational problems with convex structure; such problems inc...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
An important characteristic of ubiquitous computing is that the computational services in our environment are envisioned to be far more interconnectable than today. This means it ...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
FSS
2008
13 years 9 months ago
2008
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
John McCleary insisted in his interesting textbook entitled "User's guide to spectral sequences" on the fact that the tool "spectral sequence" is not in t...