3815 search results - page 119 / 763 » An Implementation of Session Types |
ISAAC
2007
Springer
14 years 2 months ago
2007
Springer
Most of the recent works on algorithmic mechanism design exploit the solution concept of dominant strategy equilibria. Such work designs a proper payment scheme so that selfish ag...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Alerting services can provide a valuable support for information seeking in Digital Libraries (DL). Several systems have been proposed. Most of them have serious drawback...
SIBGRAPI
1999
IEEE
14 years 11 days ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
CADE
1992
Springer
14 years 5 days ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
APWEB
2006
Springer
13 years 11 months ago
2006
Springer
This paper examines how service providers may resolve the trade-off between their personalization efforts and users' individual privacy concerns. We analyze how negotiation te...