770 search results - page 65 / 154 » Dinatural Terms in System F |
JCISE
2002
14 years 9 months ago
2002
An ideal product modeling system should support both part modeling and assembly modeling, instead of just either of them as is the case in most current CAD systems. A good basis f...
SIGIR
2002
ACM
14 years 9 months ago
2002
ACM
Collaborative filtering (CF) is valuable in e-commerce, and for direct recommendations for music, movies, news etc. But today's systems have several disadvantages, including ...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...
PPDP
2010
Springer
14 years 7 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
112
click to vote
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Main memory is responsible for a large and increasing fraction of the energy consumed by servers. Prior work has focused on exploiting DRAM low-power states to conserve energy. Ho...