2673 search results - page 306 / 535 » Guided Static Analysis |
152
click to vote
INTERSPEECH
2010
15 years 28 days ago
2010
One of the difficulties in Language Recognition is the variability of the speech signal due to speakers and channels. If channel mismatch is too big and when different categories ...
152
Voted
AAAI
2011
14 years 6 months ago
2011
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
188
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Image clustering is useful in many retrieval and classification applications. The main goal of image clustering is to partition a given dataset into salient clusters such that the...
172
Voted
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
188
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...