5247 search results - page 46 / 1050 » The Generalized A* Architecture |
COMBINATORICS
1999
13 years 9 months ago
1999
In 1964, Ronald Graham proved that there exist relatively prime natural numbers a and b such that the sequence {An} defined by An = An-1 + An-2 (n 2; A0 = a, A1 = b) contains no ...
CC
2010
Springer
13 years 7 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
ICML
2007
IEEE
14 years 10 months ago
2007
IEEE
We study the label complexity of pool-based active learning in the agnostic PAC model. Specifically, we derive general bounds on the number of label requests made by the A2 algori...
IJCAI
1989
13 years 11 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
CCE
2008
13 years 10 months ago
2008
Accuracy of an instrument has been traditionally defined as the sum of the precision and the bias. Recently, this notion was generalized to estimators [Bagajewicz, M. (2005a). On ...