4229 search results - page 696 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
DALT
2006
Springer
14 years 19 days ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
ECAI
2006
Springer
14 years 19 days ago
2006
Springer
The facility positioning3 problem concerns the location of facilities such as bus-stops, fire stations, schools, so as to optimize one or several objectives. This paper contributes...
GECCO
2006
Springer
14 years 19 days ago
2006
Springer
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
PRICAI
2000
Springer
14 years 16 days ago
2000
Springer
A system that applies a method of knowledge-intensive case-based reasoning, for repair and prevention of unwanted events in the domain of offshore oil well drilling, has been deve...
ICTAI
1997
IEEE
14 years 16 days ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...