An End-to-End Deep Learning Approach for Plate Recognition in Intelligent Transportation Systems von Pirgazi, Jamshid, Pourhashem Kallehbasti, Mohammad Mehdi, Ghanbari Sorkhi, Ali

Volltext

On How Bit-Vector Logic Can Help Verify LTL-Based Specifications von Kallehbasti, Mohammad Mehdi Pourhashem, Rossi, Matteo, Baresi, Luciano

Volltext

AdvanceSplice: Integrating N-gram one-hot encoding and ensemble modeling for enhanced accuracy von Reza Rezvan, Mohammad, Ghanbari Sorkhi, Ali, Pirgazi, Jamshid, Mehdi Pourhashem Kallehbasti, Mohammad

Volltext

An efficient hybrid filter-wrapper method based on improved Harris Hawks optimization for feature selection von Pirgazi, Jamshid, Pourhashem Kallehbasti, Mohammad Mehdi, Ghanbari Sorkhi, Ali, Kermani, Ali

Volltext

An efficient weighted partial MaxSAT encoding for scheduling in overloaded real-time systems von Pourhashem Kallehbasti, Mohammad Mehdi, Pirgazi, Jamshid, Ghanbari Sorkhi, Ali, Kermani, Ali

Volltext

LLM Security Guard for Code von Arya Kavian, Mohammad Mehdi Pourhashem Kallehbasti, Kazemi, Sajjad, Firouzi, Ehsan, Ghafari, Mohammad

Volltext

An efficient robust method for accurate and real-time vehicle plate recognition von Pirgazi, Jamshid, Sorkhi, Ali Ghanbari, Kallehbasti, Mohammad Mehdi Pourhashem

Volltext

Naturalistic Static Program Analysis von Kallehbasti, Mohammad Mehdi Pourhashem, Ghafari, Mohammad

Volltext bestellen

Naturalistic Static Program Analysis von Mohammad Mehdi Pourhashem Kallehbasti, Ghafari, Mohammad

Volltext

An efficient weighted partial MaxSAT encoding for scheduling in overloaded real-time systems von Kallehbasti, Mohammad Mehdi Pourhashem, Pirgazi, Jamshid, Sorkhi, Ali Ghanbari, Kermani, Ali

Volltext bestellen

How Bit-Vector Logic Can Help Improve The Verification Of First-Order Ltl Specifications von Baresi, Luciano, Kallehbasti, Mohammad Mehdi Pourhashem, Rossi, Matteo

Volltext bestellen