4229 search results - page 383 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
209
click to vote
TABLEAUX
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
163
click to vote
ICARIS
2004
Springer
16 years 3 days ago
2004
Springer
We propose that bio-inspired algorithms are best developed and analysed in the context of a multidisciplinary conceptual framework that provides for sophisticated biological models...
202
click to vote
AAAI
1996
15 years 8 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
222
click to vote
WOA
2003
15 years 8 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
185
click to vote
AAAI
2008
15 years 9 months ago
2008
Electrical power systems play a critical role in spacecraft and aircraft, and they exhibit a rich variety of failure modes. This paper discusses electrical power system fault diag...