3255 search results - page 68 / 651 » Combination of Abstractions in the ASTR |
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
EVOW
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...
ICANN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We demonstrate that selective attention can improve learning. Considerably fewer samples are needed to learn a source separation problem when the inputs are pre-segmented...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Exact-form results are presented for integrals involving higher-order power of the one dimensional Gaussian Q-function over identical and nonidentically distributed mul...
CONTEXT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Context-aware systems must be able to deal with uncertain context information. We propose a generic context architecture and representation that incorporates the uncertai...