2208 search results - page 81 / 442 » Memory Practices in the Sciences |
SPIN
2007
Springer
14 years 4 months ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
STACS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We consider a collection of robots which are identical (anonymous), have limited visibility of the environment, and no memory of the past (oblivious); furthermore, they a...
ICS
2003
Tsinghua U.
14 years 3 months ago
2003
Tsinghua U.
—The ever-increasing computational power of contemporary microprocessors reduces the execution time spent on arithmetic computations (i.e., the computations not involving slow me...
ATAL
2007
Springer
13 years 12 months ago
2007
Springer
For the past few years many new applications are being developed featuring interactive environments populated with autonomous virtual agents capable of acting according to their g...
NN
2002
Springer
13 years 9 months ago
2002
Springer
The prefrontal cortex (PFC) is essential for working memory, which is the ability to transiently hold and manipulate information necessary for generating forthcoming action. PFC n...