4217 search results - page 91 / 844 » Computational indistinguishability logic |
WSPI
2008
14 years 11 months ago
2008
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...
DAC
2001
ACM
15 years 11 months ago
2001
ACM
DAC
2003
ACM
15 years 11 months ago
2003
ACM
HIS
2004
14 years 11 months ago
2004
Many researchers have observed that neurons process information in an imprecise manner - if a logical inference emerges from neural computation, it is inexact at best. Thus, there...
AO
2007
14 years 10 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...