NPL
2002
13 years 7 months ago
2002
A neural network model of associative memory is presented which unifies the two historically more relevant enhancements to the basic Little-Hopfield discrete model: the graded resp...
NN
2002
Springer
13 years 7 months ago
2002
Springer
We present a model for the attentional neuromodulation of decision and selection processes. The model assumes that phasic responses in the brain nucleus Locus Coeruleus modulate, ...
NN
1998
Springer
13 years 7 months ago
1998
Springer
Visual information is processed in the posterior parietal cortex for the hypothesized purpose of extracting a variety of affordances for the generation of motor behavior. The term...
MVA
2002
13 years 7 months ago
2002
This paper describes a physically precise spine model and its application to estimate three dimensional spine posture from the frontal and lateral views of a human body taken by t...
MTA
2002
13 years 7 months ago
2002
In this paper we introduce a new model for the definition and the implementation of quality of service (QoS) in distributed multimedia systems. The model provides both the users an...
ML
1998
ACM
13 years 7 months ago
1998
ACM
In the k-Restricted-Focus-of-Attention (k-RFA) model, only k of the n attributes of each example are revealed to the learner, although the set of visible attributes in each example...
MONET
2002
13 years 7 months ago
2002
We consider the problem of data dissemination in a satellite network. In contrast to previously studied models, broadcasting is among peers, rather than client server. We introduc...
LOGCOM
2002
13 years 7 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
JISE
1998
13 years 7 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
JSYML
2002
13 years 7 months ago
2002
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.