287 search results - page 40 / 58 » A novel improvement technique for high-level test synthesis |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Fingerprint indexing is an efficient technique that greatly improves the performance of fingerprint based person authentication systems by reducing the number of comparison. In th...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Congestion control for compressed audio is a nontrivial pursuit. Audio perception is highly susceptible to disturbance in temporal quality. We recently proposed and implemented a ...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
ICSE
2010
IEEE-ACM
14 years 13 days ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...