7840 search results - page 173 / 1568 » On generalized Ramsey numbers |
177
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...
171
click to vote
AGI
2008
15 years 8 months ago
2008
One approach in pursuit of general intelligent agents has been to concentrate on the underlying cognitive architecture, of which Soar is a prime example. In the past, Soar has reli...
215
click to vote
SCAI
2008
15 years 8 months ago
2008
Abstract. A reinforcement architecture is introduced that consists of three complementary learning systems with different generalization abilities. The ACTOR learns state-action as...
160
click to vote
UAI
2008
15 years 8 months ago
2008
While known algorithms for sensitivity analysis and parameter tuning in probabilistic networks have a running time that is exponential in the size of the network, the exact comput...
165
click to vote
IMSA
2001
15 years 8 months ago
2001
This paper analyses the requirements of a third-generation technology integrated learning environment. The architecture proposed is analysed in terms of the generic constraints of...