1036 search results - page 113 / 208 » Natural Narrowing for General Term Rewriting Systems |
WWW
2009
ACM
14 years 9 months ago
2009
ACM
General image retrieval is often carried out by a text-based search engine, such as Google Image Search. In this case, natural language queries are used as input to the search eng...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we measured and analyzed the workload on Yahoo! Video, the 2nd largest U.S. video sharing site, to understand its nature and the impact on online video data center d...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...