10500 search results - page 1942 / 2100 » Documentation for |
126
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
166
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
The Drosophila gene expression pattern images document the spatial and temporal dynamics of gene expression and they are valuable tools for explicating the gene functions, interac...
144
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Labeling text data is quite time-consuming but essential for automatic text classification. Especially, manually creating multiple labels for each document may become impractical ...
152
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...
152
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Data analytics tools and frameworks abound, yet rapid deployment of analytics solutions that deliver actionable insights from business data remains a challenge. The primary reason...