517 search results - page 28 / 104 » On intelligence as memory |
CIMCA
2005
IEEE
15 years 3 months ago
2005
IEEE
We present some proposals to approximately solve a period vehicle routing problem used to model the extraction of oil from a set of onshore oil wells in Brazil. This problem diffe...
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Early primitive animals with simple feed-forward neuronal circuits were limited to reactive behavior. Through evolution, they were gradually equipped with memory and became able t...
101
click to vote
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
IEEEICCI
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper investigates possible connection strategies in sparsely connected associative memory models. This is interesting because real neural networks must have both efficient p...
LFCS
2009
Springer
15 years 2 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...