839 search results - page 148 / 168 » A Cognitive Approach to the Mechanism of Intelligence |
NJC
2006
13 years 7 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
Extraction based Multi-Document Summarization Algorithms consist of choosing sentences from the documents using some weighting mechanism and combining them into a summary. In this...
AIR
2002
13 years 7 months ago
2002
A key role for Artificial Intelligence technology in electronic commerce is in finding products and services that meet a user's requirements. This may be implemented as a thr...
INFSOF
2002
13 years 7 months ago
2002
Available resources can often be limited with regard to the number of demands. In this paper we propose an approach for solving this problem which consists of using the mechanisms...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Multi-objective optimization is an essential and challenging topic in the domains of engineering and computation because real-world problems usually include several conflicting...