2132 search results - page 195 / 427 » The Challenges of Automatic Summarization |
KDD
2002
ACM
14 years 11 months ago
2002
ACM
Abstract. Since more and more Web sites, especially sites of retailers, offer automatic recommendation services using Web usage mining, evaluation of recommender algorithms has bec...
CHI
2002
ACM
14 years 11 months ago
2002
ACM
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...
POPL
2002
ACM
14 years 11 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
CADE
2004
Springer
14 years 11 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
WAIM
2009
Springer
14 years 5 months ago
2009
Springer
Search engine advertising has become the main stream of online advertising system. In current search engine advertising systems, all users will get the same advertisement rank if t...