457 search results - page 64 / 92 » Hypercomputation: computing more than the Turing machine |
CONCUR
2001
Springer
13 years 11 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
We present the results of gravitational direct N-body simulations using the commercial graphics processing units (GPU) NVIDIA Quadro FX1400 and GeForce 8800GTX, and compare the re...
GROUP
2010
ACM
13 years 4 months ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
NSDI
2008
13 years 9 months ago
2008
Hidden malicious circuits provide an attacker with a stealthy attack vector. As they occupy a layer below the entire software stack, malicious circuits can bypass traditional defe...
ICCV
2007
IEEE
14 years 8 months ago
2007
IEEE
In this paper we study face recognition across ages within a real passport photo verification task. First, we propose using the gradient orientation pyramid for this task. Discard...