7978 search results - page 783 / 1596 » Combining shared-coin algorithms |
181
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
237
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...
202
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
186
click to vote
DCC
2008
IEEE
16 years 7 months ago
2008
IEEE
The combination of intra prediction, transform, and quantization in the H.264/AVC video coding standard offers high compression performance in picture areas where inter prediction...
186
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract—On-chip power density and temperature are rising exponentially with decreasing feature sizes. This alarming trend calls for temperature management at every level of syst...