1677 search results - page 238 / 336 » On the Completeness of Quantum Computation Models |
120
click to vote
TOG
2012
13 years 4 months ago
2012
Humans have used sketching to depict our visual world since prehistoric times. Even today, sketching is possibly the only rendering technique readily available to all humans. This...
121
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
This paper introduces a bundle adjustment (BA) method that obtains accurate structure and motion from rolling shutter (RS) video sequences: RSBA. When a classical BA algorithm pro...
144
click to vote
JAC
2008
15 years 3 months ago
2008
Cellular automata are a simple model of parallel computation. Many people wonder about the computing power of such a model. Following an idea of S. Wolfram [16], M. Cook [3] has pr...
105
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
109
click to vote
DLOG
2004
15 years 3 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...