1677 search results - page 107 / 336 » On the Completeness of Quantum Computation Models |
176
click to vote
PDCAT
2009
Springer
16 years 1 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
157
click to vote
PAMI
2000
15 years 6 months ago
2000
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...
150
click to vote
AAAI
2008
15 years 8 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
193
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
200
click to vote
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...