289
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
296
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
0
posts
with
0
views
0
views
Homepage 
133
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
158
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We present in this paper our experience in providing a wireless access interface to a distributed content search and delivery system. Important Wireless Application Protocol(WAP) ...
131
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes how Web clearinghouses can be organized so that they can effectively collaborate with each other to improve both the recall and the precision of results retur...
242
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We have developed a location-based search system for web documents on the Internet. This system can find web documents based on the distance between locations that are described i...
151
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
