4276 search results - page 173 / 856 » Techniques for Empirical Validation |
193
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: MicroRNAs (miRNAs) are short, non-coding RNA molecules that are directly involved in post-transcriptional regulation of gene expression. The mature miRNA sequence bind...
200
click to vote
RTAS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...
157
click to vote
ECML
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Consider the online regression problem where the dependence of the outcome yt on the signal xt changes with time. Standard regression techniques, like Ridge Regression, d...
162
click to vote
RT
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel aggressive visibility preprocessing technique for general 3D scenes. Our technique exploits commodity graphics hardware and is faster than most conservative sol...
126
click to vote
FMSD
1998
15 years 6 months ago
1998
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...