714 search results - page 111 / 143 » Formal Verification of Cognitive Models |
117
click to vote
SPATIALCOGNITION
2000
Springer
15 years 5 months ago
2000
Springer
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...
113
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
142
click to vote
AGI
2011
14 years 5 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
131
click to vote
ENTCS
2006
15 years 1 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
122
click to vote
VLSID
2001
IEEE
16 years 2 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...