6432 search results - page 1193 / 1287 » Classic Mechanism Design |
117
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
The mechanisms for personalisation used in web applications are currently the subject of much debate amongst researchers from many diverse subject areas. One of the most contempor...
92
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present WebPod, a portable system that enables mobile users to use the same persistent, personalized web browsing session on any Internet-enabled device. No matter what compute...
109
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
146
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
An important trend in Web information processing is the support of multimedia retrieval. However, the most prevailing paradigm for multimedia retrieval, content-based retrieval (C...
200
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...