Video Summarization for Sign Languages Using the Median of Entropy of Mean Frames Method

by Shazia Saqib, Syed Asad Raza Kazmi
Published 2018-09-01

MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems

by Awais Qasim, Syed Asad Raza Kazmi
Published 2016-01-01

Formal Specification and Verification of Self-Adaptive Concurrent Systems

by Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi
Published 2018-01-01

Intelligent agent for formal modelling of temporal multi-agent systems

by Awais Qasim, Zeeshan Aziz, Syed Asad Raza Kazmi, Adnan Khalid, Ilyas Fakhir, Jawad Hassan
Published 2020-01-01

Handling temporal constraints in interaction protocols for intelligent multi-agent systems

by Awais Qasim, Sobia Iqbal, Zeeshan Aziz, Syed Asad Raza Kazmi, Adeel Munawar, Basit Ali Gilani, Neelam Qasim
Published 2020-01-01