1677 search results - page 69 / 336 » On the Completeness of Quantum Computation Models |
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
This paper presents a complete analytical characterization of a large class of central and non-central imaging devices dubbed linear cameras by Ponce [9]. Pajdla [7] has shown tha...
103
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
AAAI
2006
15 years 2 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
MICCAI
2005
Springer
16 years 2 months ago
2005
Springer
Bio-engineered cartilage has made substantial progress over the last years. Preciously few cases, however, are known where patients were actually able to benefit from these develop...
107
click to vote
STACS
2010
Springer
15 years 8 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...