3719 search results - page 658 / 744 » order 2010 |
161
Voted
PLPV
2010
ACM
16 years 16 days ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
129
Voted
PEPM
2010
ACM
16 years 16 days ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
121
Voted
IUI
2010
ACM
16 years 16 days ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
128
Voted
IUI
2010
ACM
16 years 16 days ago
2010
ACM
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
139
Voted
FPGA
2010
ACM
16 years 15 days ago
2010
ACM
Placement based on simulated annealing is in dominant use in the FPGA community due to its superior quality of result (QoR). However, given the progression of FPGA device capacity...