850 search results - page 129 / 170 » An Architecture for Adaptive Algorithmic Hybrids |
96
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
144
click to vote
RECOMB
2004
Springer
16 years 23 days ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
106
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents an hybrid adaptive system for induction of forest of trees from data streams. The Ultra Fast Forest Tree system (UFFT) is an incremental algorithm, with consta...
137
click to vote
IJHPCA
2008
15 years 14 days ago
2008
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
96
Voted
FCCM
2002
IEEE
15 years 5 months ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...