236 search results - page 44 / 48 » heuristics 2002 |
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
—This paper describes a novel framework, called Distributed Partial Information Management (or DPIM). It addresses several major challenges in achieving efficient shared path pr...
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
There has been a surge of interest in the delivery of personalized information to users (e.g. personalized stocks or travel information), particularly as mobile users with limited ...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
105
click to vote
WISE
2002
Springer
15 years 2 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
AI
2002
Springer
14 years 9 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...