998 search results - page 28 / 200 » From Feasible Proofs to Feasible Computations |
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
ICAC
2005
IEEE
14 years 1 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
CSE
2009
IEEE
13 years 11 months ago
2009
IEEE
A user stores his personal files in a cloud, and retrieves them wherever and whenever he wants. For the sake of protecting the user data privacy and the user queries privacy, a use...
COGSCI
2011
13 years 2 months ago
2011
Many kinds of creativity result from combination of mental representations. This paper provides a computational account of how creative thinking can arise from combining neural pa...