3229 search results - page 139 / 646 » Theories with the Independence Property |
92
Voted
ICDE
2010
IEEE
16 years 16 days ago
2010
IEEE
In today's Internet applications or sensor networks we often encounter large amounts of data spread over many physically distributed nodes. The sheer volume of the data and ba...
124
click to vote
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
112
click to vote
MCU
2004
15 years 2 months ago
2004
The classification of discrete dynamical systems that are computationally complete has recently drawn attention in light of Wolfram's "Principle of Computational Equivale...
104
Voted
NIPS
2004
15 years 2 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
107
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...