8746 search results - page 1664 / 1750 » Diversifying search results |
CTRS
1990
13 years 12 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
STOC
1989
ACM
13 years 12 months ago
1989
ACM
This paper takes the next step in developing the theory of average case complexity initiated by Leonid A Levin. Previous works Levin 84, Gurevich 87, Venkatesan and Levin 88] have...
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
Most real-world negotiation scenarios involve multiple, interdependent issues. These scenarios are specially challenging because the agents' utility functions are nonlinear, ...
CHI
2007
ACM
13 years 12 months ago
2007
ACM
With new technology, people can share information about everyday places they go; the resulting data helps others find and evaluate places. Recent applications like Dodgeball and S...
CIKM
2009
Springer
13 years 11 months ago
2009
Springer
This paper addresses the concept of Blogger-Centric Contextual Advertising, which refers to the assignment of personal ads to any blog page, chosen in according to bloggers' ...