4229 search results - page 45 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
KDD
1997
ACM
15 years 4 months ago
1997
ACM
A variety of techniques from statistics, signal processing, pattern recognition, machine learning, and neural networks have been proposed to understand data by discovering useful ...
AIED
2009
Springer
15 years 4 months ago
2009
Springer
EAGLE (Electronic Assistant for Game-Based Learning Experiences) is an intelligent tutoring system that supports learning with video games. We describe how a flexible ontology-base...
TACAS
1997
Springer
15 years 3 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
108
click to vote
ESWA
2008
14 years 12 months ago
2008
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
110
Voted
AAAI
2006
15 years 1 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...