7623 search results - page 1140 / 1525 » Constructive Volume Modeling |
212
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Mass spectrometry has become a standard method by which the proteomic profile of cell or tissue samples is characterized. To fully take advantage of tandem mass spectr...
191
click to vote
TASLP
2010
15 years 1 months ago
2010
This paper presents a framework for efficient HMM-based estimation of unreliable spectrographic speech data. It discusses the role of Hidden Markov Models (HMMs) during minimum mea...
193
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
180
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...
189
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...