1174 search results - page 28 / 235 » Derivation of Characteristic Formulae |
125
click to vote
CAV
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
120
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
112
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
MCS
2007
Springer
15 years 1 months ago
2007
Springer
The analogue of Black–Scholes formula for vanilla call option price in conditions of (B, S)-securities market with delayed response is derived. A special case of continuous-time...
108
click to vote
AES
2008
Springer
15 years 2 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...