7504 search results - page 458 / 1501 » Computing with Action Potentials |
139
click to vote
ISMVL
1994
IEEE
15 years 10 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...
223
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Smartphones enable a new, rich user experience in pervasive computing, but their hardware is still very limited in terms of computation, memory, and energy reserves, thus limiting...
165
click to vote
GRID
2000
Springer
15 years 9 months ago
2000
Springer
: In this presentation, a short outline of the history of past and present Grid projects in research and industry is given, followed by some near- and long-term Grid scenarios and ...
147
click to vote
NSDI
2008
15 years 8 months ago
2008
The primary legal obstacles to conducting cybersecurity are not outright prohibitions but rather the difficulty of determining which of a large set of complex statutes might regul...
173
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...