Sciweavers

11129 search results - page 1573 / 2226
» Modeling Search Computing Applications
Sort
View
SAC
2005
ACM
16 years 28 days ago
A complex biological database querying method
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
Jake Yue Chen, John V. Carlis, Ning Gao
RECOMB
2011
Springer
14 years 10 months ago
Rich Parameterization Improves RNA Structure Prediction
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...
Shay Zakov, Yoav Goldberg, Michael Elhadad, Michal...
193
Voted
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 11 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
DAC
2005
ACM
16 years 8 months ago
Trace-driven HW/SW cosimulation using virtual synchronization technique
Poor performance of HW/SW cosimulation is mainly caused by synchronization requirement between component simulators. Virtual synchronization technique was proposed to remove the n...
Dohyung Kim, Youngmin Yi, Soonhoi Ha
ICML
2008
IEEE
16 years 8 months ago
Tailoring density estimation via reproducing kernel moment matching
Moment matching is a popular means of parametric density estimation. We extend this technique to nonparametric estimation of mixture models. Our approach works by embedding distri...
Alex J. Smola, Arthur Gretton, Bernhard Schöl...
« Prev « First page 1573 / 2226 Last » Next »