3799 search results - page 409 / 760 » An Engineering Approach to Formal Methods |
167
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper is motivated to improve the performance of individual ensembles using a hybrid mechanism in the regression setting. Based on an error-ambiguity decomposition, we formal...
191
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Sponsored search is one of the major sources of revenue for search engines on the World Wide Web. It has been observed that while showing ads for every query maximizes shortterm r...
199
Voted
TCBB
2011
15 years 1 months ago
2011
—In biomedical data, the imbalanced data problem occurs frequently and causes poor prediction performance for minority classes. It is because the trained classifiers are mostly d...
201
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
173
click to vote
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...