( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences.

, , , , , и . MIWAI, том 13651 из Lecture Notes in Computer Science, стр. 86-98. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Saqib Saeed

Saqib Saeed

Saqib Saeed

Mohsin Nawaz

Ahmad Nawaz

 

Другие публикации лиц с тем же именем

Reasoning About Order Crossover in Genetic Algorithms., , и . ICSI (1), том 13344 из Lecture Notes in Computer Science, стр. 261-271. Springer, (2022)Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining., , , , и . PKDD/ECML Workshops (2), том 1525 из Communications in Computer and Information Science, стр. 90-103. Springer, (2021)Machine Learning for Intelligent Industrial Design., , , и . PKDD/ECML Workshops (2), том 1525 из Communications in Computer and Information Science, стр. 158-172. Springer, (2021)LCIM: Mining Low Cost High Utility Itemsets., , , , , и . MIWAI, том 13651 из Lecture Notes in Computer Science, стр. 73-85. Springer, (2022)FastTIRP: Efficient Discovery of Time-Interval Related Patterns., , , и . BDA, том 13773 из Lecture Notes in Computer Science, стр. 185-199. Springer, (2022)A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS., и . BDIOT, стр. 186-190. ACM, (2018)Proof searching in HOL4 with genetic algorithm., , , , и . SAC, стр. 513-520. ACM, (2020)Proof Searching in PVS Theorem Prover Using Simulated Annealing., , и . ICSI (2), том 12690 из Lecture Notes in Computer Science, стр. 253-262. Springer, (2021)Metaheuristic Algorithms for Proof Searching in HOL4., , , и . SEKE, стр. 376-381. KSI Research Inc., (2022)Reo2PVS: Formal Specification and Verification of Component Connectors., и . SEKE, стр. 391-390. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2018)