7228 search results - page 923 / 1446 » From Algorithmic to Subjective Randomness |
213
click to vote
KDD
2004
ACM
16 years 12 days ago
2004
ACM
Mark-recapture models have for many years been used to estimate the unknown sizes of animal and bird populations. In this article we adapt a finite mixture mark-recapture model i...
166
Voted
GLVLSI
2003
IEEE
16 years 10 days ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
194
click to vote
DAC
2003
ACM
16 years 9 days ago
2003
ACM
In this paper we propose a partitioning-based placement algorithm for FPGAs. The method incorporates simple, but effective heuristics that target delay minimization. The placement...
222
click to vote
DAC
2003
ACM
16 years 9 days ago
2003
ACM
We propose in this paper an extension on the Scan Chain Concealment technique to further reduce test time and volume requirement. The proposed methodology stems from the architect...
206
click to vote
JCDL
2003
ACM
16 years 9 days ago
2003
ACM
To access the content of digital texts efficiently, it is necessary to provide more sophisticated access than keyword based searching. Genescene provides biomedical researchers wi...