[Lecture Notes in Computer Science] Advances in Knowledge Discovery and Data Mining Volume 10937 || Random Pairwise Shapelets Forest
- 作者Phung, Dinh; Tseng, Vincent S.; Webb, Geoffrey I.; Ho, Bao; Ganji, Mohadeseh; Rashidi, Lida
- 文件大小1999.41KB
- 发表时间2018
- DOI10.1007/978-3-319-93034-3_6
- 页码68-80
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 ||Johnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Formal Methods for Executable Software Models Volume 8483 ||Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina · 2014
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Cross-Architecture Lifter SynthesisJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || We Need a Testability Transformation SemanticsJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Counterexample Simplification for Liveness Property ViolationJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Monte Carlo Tree Search for Finding Costly Paths in ProgramsJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Bridging the Gap Between Informal Requirements and Formal Specifications Using Model FederationJohnsen, Einar Broch; Schaefer, Ina · 2018