Sciweavers

2805 search results - page 100 / 561
» Modeling Memory for Melodies
Sort
View
ATAL
2010
Springer
14 years 10 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
COGSCI
2010
234views more  COGSCI 2010»
14 years 10 months ago
High Regularities in Eye-Movement Patterns Reveal the Dynamics of the Visual Working Memory Allocation Mechanism
With only two to five slots of visual working memory (VWM), humans are able to quickly solve complex visual problems to near optimal solutions. To explain the paradox between tigh...
Xiaohui Kong, Christian D. Schunn, Garrick L. Wall...
DDECS
2007
IEEE
121views Hardware» more  DDECS 2007»
15 years 4 months ago
March CRF: an Efficient Test for Complex Read Faults in SRAM Memories
: In this paper we study Complex Read Faults in SRAMs, a combination of various malfunctions that affect the read operation in nanoscale memories. All the memory elements involved ...
Luigi Dilillo, Bashir M. Al-Hashimi
NN
2008
Springer
153views Neural Networks» more  NN 2008»
14 years 9 months ago
A biologically motivated visual memory architecture for online learning of objects
We present a biologically motivated architecture for object recognition that is based on a hierarchical feature-detection model in combination with a memory architecture that impl...
Stephan Kirstein, Heiko Wersing, Edgar Körner
DATE
2006
IEEE
151views Hardware» more  DATE 2006»
15 years 4 months ago
Designing MRF based error correcting circuits for memory elements
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, Will...