6941 search results - page 221 / 1389 » Testing as a Certification Approach |
ICASSP
2011
IEEE
12 years 12 months ago
2011
IEEE
In this paper, we propose an adaptive time-frequency resolution approach for the single channel source separation problem. The aim is to improve the quality and intelligibility of...
ICML
2006
IEEE
14 years 9 months ago
2006
IEEE
When constructing a classifier from labeled data, it is important not to assign too much weight to any single input feature, in order to increase the robustness of the classifier....
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
ICDE
2008
IEEE
14 years 2 months ago
2008
IEEE
— Mobile agents are considered a suitable technology to develop applications for wireless environments with limited communication capabilities. Thus, they offer interesting advan...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
The public sector provides a variety of services to citizens. The delivery of information for these services over electronic means such as the Internet forms an important componen...