no code implementations • 22 Jan 2024 • Mohammad Izadi, Mehran Safayani, Abdolreza Mirzaei
Recognizing the significance of timely prediction due to the dynamic nature of real-time data, we employ knowledge distillation (KD) as a solution to enhance the execution time of ST-GNNs for traffic prediction.
no code implementations • 14 Apr 2022 • Mohammad Reza Besharati, Mohammad Izadi, Ehsaneddin Asgari
Both of deductive and model checking verification techniques are relying on a notion of state and as a result, their underlying computational models are state dependent.
no code implementations • 20 Mar 2021 • Nafiseh Jafari, Mohammad Reza Besharati, Mohammad Izadi, Maryam Hourali
In this article, we present a SELM framework for Software Engineering of machine Learning Models.
2 code implementations • 20 Sep 2020 • Vahid Shahrivari, Mohammad Mahdi Darabi, Mohammad Izadi
One of the most successful methods for detecting these malicious activities is Machine Learning.
1 code implementation • 12 Sep 2019 • Hossein Keshavarz, Shohreh Tabatabayi Seifi, Mohammad Izadi
We generated a significant number of paired texts from this dataset and assigned each pair a score from 0 to 3, which demonstrates the degree of similarity between the domains of the pair.
no code implementations • 24 Aug 2019 • MohammadReza Besharati, Mohammad Izadi
DAST proposes an intuitionistic approach to semantics that lets us have a well-defined model for the semantics of a text and its complexity: semantic is considered as a lattice of intuitions and, as a result, semantic complexity is defined as the result of a calculation on this lattice.