2805 search results - page 201 / 561 » Modeling Memory for Melodies |
167
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
201
click to vote
COSIT
1993
Springer
15 years 10 months ago
1993
Springer
Although cognitive map is a popular metaphor for people's mental representations of environments, as it is typically conceived, it is often too restrictive. Two other metaphor...
174
click to vote
NIPS
2001
15 years 8 months ago
2001
The Temporal Coding Hypothesis of Miller and colleagues [7] suggests that animals integrate related temporal patterns of stimuli into single memory representations. We formalize t...
166
click to vote
CNSR
2008
IEEE
16 years 1 months ago
2008
IEEE
— Wireless sensor networks (WSNs) can be used to record and store audio data at remote and inaccessible places. However, audio data adds an additional concern to the design of th...
152
click to vote
VOSS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...