1897 search results - page 296 / 380 » Conditional Linear Planning |
110
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
119
Voted
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...
102
click to vote
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
It has been widely recognized that the dynamic range information of an application can be exploited to reduce the datapath bitwidth of either processors or ASICs, and therefore th...
94
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we study the problem of retiming of sequential circuits with both interconnect and gate delay. Most retiming algorithms have assumed ideal conditions for the non-lo...
128
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Searching approximate nearest neighbors in large scale high dimensional data set has been a challenging problem. This paper presents a novel and fast algorithm for learning binary...