1897 search results - page 296 / 380 » Conditional Linear Planning |
128
click to vote
ESOP
2010
Springer
16 years 7 days 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 ...
141
click to vote
SDM
2009
SIAM
16 years 2 days 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...
119
Voted
ICCAD
2004
IEEE
15 years 11 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...
113
click to vote
ICCAD
2003
IEEE
15 years 11 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...
148
click to vote
CVPR
2010
IEEE
15 years 11 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...