793 search results - page 6 / 159 » Argumentation and standards of proof |
TIT
1998
13 years 7 months ago
1998
STOC
2002
ACM
14 years 7 months ago
2002
ACM
The notion of efficient computation is usually identified in cryptography and complexity with (strict) probabilistic polynomial time. However, until recently, in order to obtain c...
DEPCOS
2008
IEEE
14 years 1 months ago
2008
IEEE
Achieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies. Great deal of this is sp...
WSC
2008
13 years 9 months ago
2008
Distributed simulation, more specifically the HLA standard, is hardly applied in industry. We have conducted an extensive survey with COTS (commercial off-the-shelf) simulation pa...
SYNTHESE
2010
13 years 5 months ago
2010
In the Newcomb problem, the standard arguments for taking either one box or both boxes adduce what seem to be relevant considerations, but they are not complete arguments, and att...