11436 search results - page 14 / 2288 » Modeling Real Reasoning |
SAT
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
IFM
2010
Springer
13 years 9 months ago
2010
Springer
AIR
2005
13 years 10 months ago
2005
The paradox of fuzzy modeling is recognized due to the co-existence of its effectiveness of solving uncertain problems in the real world and the skepticism of its reasonability in ...
AINA
2007
IEEE
14 years 5 months ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...