2043 search results - page 151 / 409 » A convenient category of domains |
148
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Participation in the web of communities requires a common language, a common technological structure and development of content that is relevant and captivating. This paper report...
159
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Often Web database users experience difficulty in articulating their needs using a precise query. Providing ranked set of possible answers would benefit such users. We propose to ...
142
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we study the distribution of relevant documents in aggregates, formed by grouping the retrieved documents according to their domain. For each aggregate, we take int...
175
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
147
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...