3255 search results - page 68 / 651 » Combination of Abstractions in the ASTR |
268
click to vote
PADL
2009
Springer
16 years 7 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...
154
click to vote
EVOW
2009
Springer
16 years 1 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...
164
click to vote
ICANN
2009
Springer
16 years 27 days 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...
168
click to vote
ICC
2007
IEEE
16 years 20 days 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...
131
click to vote
CONTEXT
2007
Springer
16 years 16 days 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...