1588 search results - page 36 / 318 » The Intelligence Within |
AAAI
2000
14 years 10 days ago
2000
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
HOLOMAS
2005
Springer
14 years 4 months ago
2005
Springer
Within this paper we describe a simulation environment for the underwater surveillance and propose architecture of control part of autonomous robot capable of efficient operation i...
ECAI
2008
Springer
14 years 22 days ago
2008
Springer
We present a taxonomy automatically generated from the system of categories in Wikipedia. Categories in the resource are identified as either classes or instances and included in a...
FLAIRS
2001
14 years 11 days ago
2001
Knowledgemanagementsystems are making inroads into organizationsthat wantto get a handleontheir intellectual capital. Tothis end, we have designed and implemented Expert Seeker, a...
AAAI
2006
14 years 11 days ago
2006
Since the 1970s AI as a science has progressively fragmented into many activities that are very narrowly focused. It is not clear that work done within these fragments can be comb...