10072 search results - page 1991 / 2015 » Composition of Model Programs |
112
click to vote
AAAI
1994
15 years 3 months ago
1994
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...
113
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
111
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
137
click to vote
DAC
2010
ACM
15 years 1 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the average memory access latency. Improving the cache hit rate can have significant positive impact on the per...
138
click to vote
WWW
2010
ACM
15 years 1 months ago
2010
ACM
Consider an online ad campaign run by an advertiser. The ad serving companies that handle such campaigns record users' behavior that leads to impressions of campaign ads, as ...