583 search results - page 35 / 117 » Cognitive development and qualitative modelling |
TSP
2010
13 years 3 months ago
2010
Abstract--A cooperative approach to the sensing task of wireless cognitive radio (CR) networks is introduced based on a basis expansion model of the power spectral density (PSD) ma...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
ENTCS
2007
13 years 8 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
LMCS
2006
13 years 8 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
IJON
2006
13 years 8 months ago
2006
We review a recently developed engineering control approach to attention. The control system is extended to include biasing by emotional valence, with qualitative analysis given of...