8201 search results - page 1411 / 1641 » Approaching Manual Intelligence |
169
click to vote
MMS
2006
15 years 6 months ago
2006
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...
172
click to vote
NJC
2006
15 years 6 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...
185
click to vote
SIGIR
2008
ACM
15 years 6 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...
173
click to vote
IJEB
2007
15 years 6 months ago
2007
Technology-enhanced or Computer Aided Learning (e-learning) can be institutionally integrated and supported by learning management systems or Virtual Learning Environments (VLEs) ...
162
click to vote
AIR
2002
15 years 6 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...