49 search results - page 4 / 10 » Improving defect prediction using temporal features and non ... |
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
INTERSPEECH
2010
13 years 3 months ago
2010
We recently proposed a method for HMM adaptation to noisy environments called Linear Spline Interpolation (LSI). LSI uses linear spline regression to model the relationship betwee...
DAC
2010
ACM
13 years 8 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the average memory access latency. Improving the cache hit rate can have significant positive impact on the per...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
—The use of vital signs as a biometric is a potentially viable approach in a variety of application scenarios such as security and personalized health care. In this paper, a nove...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our wo...