4229 search results - page 547 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
176
click to vote
ITCC
2005
IEEE
16 years 7 days ago
2005
IEEE
The main focus of this study is to compare different performances of soft computing paradigms for predicting the direction of individuals stocks. Three different artificial intell...
167
click to vote
AOSE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
184
click to vote
EAAI
2007
15 years 6 months ago
2007
This paper recapitulates the results of a long research on a family of artificial intelligence (AI) methods—relying on, e.g., artificial neural networks and search techniques...
176
click to vote
ITS
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
282
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...