Sciweavers

1567 search results - page 107 / 314
» A Mechanized Model of the Theory of Objects
Sort
View
ACTA
2006
108views more  ACTA 2006»
15 years 1 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
BICA
2010
14 years 8 months ago
Attention in the ASMO Cognitive Architecture
The ASMO Cognitive Architecture has been developed to support key capabilities: attention, awareness and self-modification. In this paper we describe the underlying attention model...
Rony Novianto, Benjamin Johnston, Mary-Anne Willia...
112
Voted
NN
1998
Springer
112views Neural Networks» more  NN 1998»
15 years 1 months ago
Continuous attractors and oculomotor control
A recurrent neural network can possess multiple stable states, a property that many brain theories have implicated in learning and memory. There is good evidence for such multista...
H. Sebastian Seung
OOPSLA
1989
Springer
15 years 5 months ago
A Denotational Semantics of Inheritance and its Correctness
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
William R. Cook, Jens Palsberg
96
Voted
PR
2007
114views more  PR 2007»
15 years 1 months ago
Distributed Markovian segmentation: Application to MR brain scans
A situated approach to Markovian image segmentation is proposed based on a distributed, decentralized and cooperative strategy for model estimation. According to this approach, th...
Nathalie Richard, Michel Dojat, Catherine Garbay