Titlebook: Verification of Sequential and Concurrent Programs; Krzysztof R. Apt,Frank S. Boer,Ernst-Rüdiger Older Textbook 2009Latest edition Springe

remission

the minority class. This paper proposes a reliability-based imbalanced data classification approach (RIC) with Dempster-Shafer theory to address this issue. First, based on the minority class, multiple under-sampling for the majority one are implemented to obtain the corresponding balanced training

innovation

Textbook 2009Latest editionproach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of

顶点

Rct393

不妥协

https://doi.org/10.1007/978-1-84882-745-5Variable; complexity; program verification; algorithm analysis and problem complexity

冰雹