8094 search results - page 17 / 1619 » Improvements in Formula Generalization |
AAAI
2000
13 years 9 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
ETT
2002
13 years 7 months ago
2002
In this paper, performance formulae for a queue serving Gaussian traffic are presented. The main technique employed is motivated by a general form of Schilder's theorem, the ...
JAL
2002
13 years 7 months ago
2002
We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based o...
AMC
2007
13 years 7 months ago
2007
Asian options have payoffs that depend on the average price of the underlying asset such as stocks, commodities, or financial indices. As exact closed-form formulas do not exist...
COCO
2009
Springer
13 years 11 months ago
2009
Springer
Abstract--We study the 2-party randomized communication complexity of read-once AC0 formulae. For balanced AND-OR trees T with n inputs and depth d, we show that the communication ...