557 search results - page 98 / 112 » Using Intelligent Agents to understand organisational behavi... |
AAAI
2008
15 years 13 days ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
71
Voted
FLAIRS
2004
14 years 11 months ago
2004
The wealth of information contained in the world-wide web has created much interest in systems for integrating information from multiple sites. We describe a universal wrapper mac...
65
Voted
AAAI
2000
14 years 11 months ago
2000
A central problem in qualitative reasoning is understanding how people reason about space and shape with diagrams. We claim that progress in diagrammatic reasoning is being slowed...
AAAI
1990
14 years 11 months ago
1990
This work pertains to the Knuth-Bendix (KB) algorithm which tries to find a complete set of reductions from a given set of equations. In the KB algorithm a term ordering is employ...
104
click to vote
FCCM
2009
IEEE
15 years 2 months ago
2009
IEEE
Artificial neural networks are a key tool for researchers attempting to understand and replicate the behaviour and intelligence found in biological neural networks. Software simul...