1677 search results - page 34 / 336 » On the Completeness of Quantum Computation Models |
163
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a complete solution to estimating a scene’s 3D geometry and appearance from multiple 2D images by using a statistical inverse ray tracing method. Instead of ...
133
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
106
click to vote
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
128
click to vote
ENTCS
2007
15 years 1 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
124
click to vote
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...