Autor der Publikation

Modeling and Verification of Chess Game Using NuSMV.

, , , , und . ACC (2), Volume 191 von Communications in Computer and Information Science, Seite 460-470. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Adaptive User Interface for Moodle based E-learning System using Learning Styles., , und . ICCSCI, Volume 135 von Procedia Computer Science, Seite 606-615. Elsevier, (2018)Enhanced Vehicle Re-identification for ITS: A Feature Fusion approach using Deep Learning., , , und . CoRR, (2022)UVid-Net: Enhanced Semantic Segmentation of UAV Aerial Videos by Embedding Temporal Information., , , und . CoRR, (2020)Cloud enabled secure communication in Vehicular Ad-hoc Networks., , , und . ICCVE, Seite 596-601. IEEE, (2014)Rule based adaptive user interface for adaptive E-learning system., , und . Educ. Inf. Technol., 24 (1): 613-641 (2019)Analysis of feature selection and extraction algorithm for loan data: A big data approach., , und . ICACCI, Seite 2147-2151. IEEE, (2017)Automatic Segmentation of River and Land in SAR Images: A Deep Learning Approach., , , , und . AIKE, Seite 15-20. IEEE, (2019)Combining temporal interpolation and DCNN for faster recognition of micro-expressions in video sequences., , und . ICACCI, Seite 699-703. IEEE, (2016)The Role of Color and Texture Features in Glaucoma Detection., , und . ICACCI, Seite 526-530. IEEE, (2018)Cloud-enabled vehicular congestion estimation: An ITS application., , , und . CCECE, Seite 1-4. IEEE, (2016)