2343 search results - page 96 / 469 » Structure and Interpretation of Computer Programs |
107
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Quantum computing’s power comes from new algorithms that exploit quantum mechanical phenomena for computation. Quantum algorithms are different from...
160
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
266
click to vote
SIAMMAX
2010
14 years 11 months ago
2010
Abstract. Linear inverse problems with uncertain measurement matrices appear in many different applications. One of the standard techniques for solving such problems is the total l...
143
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
127
Voted
SYNTHESE
2011
14 years 11 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...