1413 search results - page 140 / 283 » Bisimilarity of Open Terms |
164
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
185
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
The area of medical monitoring and diagnostics is of particular importance and relevance today. Modern nanotechnology has reduced prices and size of increasingly sophisticated sen...
200
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
This paper discusses the software architecture of Impromptu, a mobile IP-based audio computing platform, with an associated set of network-based applications and services. Impromp...
159
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
169
click to vote
Publication
Finding My Needle in the Haystack: Effective Personalized Re-ranking of Search Results in Prospector
16 years 3 months ago
Abstract. This paper provides an overview of Prospector, a personalized Internet meta-search engine, which utilizes a combination of ontological information, ratings-based models o...