577 search results - page 83 / 116 » A neurodynamical model for working memory |
148
click to vote
SBMF
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
152
click to vote
LICS
2007
IEEE
16 years 10 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
157
click to vote
SAMOS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
164
click to vote
IPPS
2006
IEEE
16 years 2 days ago
2006
IEEE
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
155
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We study the problem of affective content analysis. In this paper we think of affective contents as those video/audio segments, which may cause an audience’s strong reactions or...