Sciweavers

2805 search results - page 259 / 561
» Modeling Memory for Melodies
Sort
View
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 10 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
BCSHCI
2009
15 years 7 months ago
Using technologies to support reminiscence
This paper is about the evolution of a system prototype called Pensieve whose goal is to support people's reminiscing practices. A number of technologies exist to manage memo...
Dan Cosley, Kathy Akey, Brian Alson, Jonathan Baxt...
HPCC
2010
Springer
15 years 6 months ago
A Generic Execution Management Framework for Scientific Applications
Managing the execution of scientific applications in a heterogeneous grid computing environment can be a daunting task, particularly for long running jobs. Increasing fault tolera...
Tanvire Elahi, Cameron Kiddle, Rob Simmonds
NN
2006
Springer
141views Neural Networks» more  NN 2006»
15 years 6 months ago
Encoding uncertainty in the hippocampus
The medial temporal lobe may play a critical role in binding successive events into memory while encoding contextual information in implicit and explicit memory tasks. Information...
Lee M. Harrison, Andrew Duggins, Karl J. Friston
INTERSPEECH
2010
15 years 1 months ago
Within and across sentence boundary language model
In this paper, we propose two different language modeling approaches, namely skip trigram and across sentence boundary, to capture the long range dependencies. The skip trigram mo...
Saeedeh Momtazi, Friedrich Faubel, Dietrich Klakow