4229 search results - page 436 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
160
click to vote
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
154
click to vote
ACRI
2006
Springer
16 years 24 days ago
2006
Springer
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...
238
click to vote
ICCS
1999
Springer
15 years 11 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
145
click to vote
ESAW
2004
Springer
16 years 6 days ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
202
click to vote
AIED
2005
Springer
16 years 11 days ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...