810 search results - page 65 / 162 » Rule-based Model Extraction from Source Code |
JSA
2007
13 years 7 months ago
2007
Traditional design techniques for embedded systems apply transformations on the source code to optimize hardwarerelated cost factors. Unfortunately, such transformations cannot ad...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We propose to improve speech recognition performance on speaker-independent, mixed language speech by asymmetric acoustic modeling. Mixed language is either inter-sentential code ...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Classification is a core task in knowledge discovery and data mining, and there has been substantial research effort in developing sophisticated classification models. In a parall...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiq...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...