5015 search results - page 479 / 1003 » Model Checking a Path |
194
click to vote
CMS
2003
15 years 8 months ago
2003
Classic security systems use a trust model centered in the authentication procedure, which depends on a naming service. Even when using a Public Key Infrastructure as X.509, such s...
173
click to vote
IJKL
2007
15 years 6 months ago
2007
: Despite the widely recognised importance of intellectual capital as a vital source of competitive advantage, there is still little understanding of how organisations actually com...
201
click to vote
BC
2000
15 years 6 months ago
2000
Abstract. A computational model of hippocampal activity during spatial cognition and navigation tasks is presented. The spatial representation in our model of the rat hippocampus i...
184
click to vote
ACL
2011
14 years 10 months ago
2011
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
188
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...