Formal methods enhance deep learning for smart cities: Challenges and future directions

被引：0
|
作者：
Ma, Meiyi [1 ]
机构：
[1] Department of Computer Science, Vanderbilt University, United States
来源：
XRDS: Crossroads | 2022年 / 28卷 / 03期
关键词：
Deep learning - Smart city;
D O I：
10.1145/3522694
中图分类号：
学科分类号：
摘要：
Rigorous approaches based on formal methods have the potential to fundamentally improve many aspects of deep learning. This article discusses the challenges and future directions of formal methods enhanced deep learning for smart cities. © 2022 ACM.
引用
收藏
页码：42 / 46
相关论文
共 50 条
  • [1] A review on deep learning for future smart cities
    Bhattacharya, Sweta
    Somayaji, Siva Rama Krishnan
    Gadekallu, Thippa Reddy
    Alazab, Mamoun
    Maddikunta, Praveen Kumar Reddy
    INTERNET TECHNOLOGY LETTERS, 2022, 5 (01)
  • [2] Smart Mobility in Smart Cities: Emerging challenges, recent advances and future directions
    Goumiri, Soumia
    Yahiaoui, Said
    Djahel, Soufiene
    JOURNAL OF INTELLIGENT TRANSPORTATION SYSTEMS, 2023,
  • [3] Federated Learning: Challenges, Methods, and Future Directions
    Li, Tian
    Sahu, Anit Kumar
    Talwalkar, Ameet
    Smith, Virginia
    IEEE SIGNAL PROCESSING MAGAZINE, 2020, 37 (03) : 50 - 60
  • [4] Toward Formal Methods for Smart Cities
    Ma, Meiyi
    Stankovic, John A.
    Feng, Lu
    COMPUTER, 2021, 54 (09) : 39 - 48
  • [5] Metaverse applications in smart cities: Enabling technologies, opportunities, challenges, and future directions
    Yaqoob, Ibrar
    Salah, Khaled
    Jayaraman, Raja
    Omar, Mohammed
    INTERNET OF THINGS, 2023, 23
  • [6] Secure, Sustainable Smart Cities and the Internet of Things: Perspectives, Challenges, and Future Directions
    Hussain, Iqram
    SUSTAINABILITY, 2024, 16 (04)
  • [7] A survey of deep learning for MRI brain tumor segmentation methods: Trends, challenges, and future directions
    Krishnapriya, Srigiri
    Karuna, Yepuganti
    HEALTH AND TECHNOLOGY, 2023, 13 (02) : 181 - 201
  • [8] A survey of deep learning for MRI brain tumor segmentation methods: Trends, challenges, and future directions
    Srigiri Krishnapriya
    Yepuganti Karuna
    Health and Technology, 2023, 13 : 181 - 201
  • [9] Leveraging Deep Learning and IoT big data analytics to support the smart cities development: Review and future directions
    Ben Atitallah, Safa
    Driss, Maha
    Boulila, Wadii
    Ben Ghezala, Henda
    COMPUTER SCIENCE REVIEW, 2020, 38
  • [10] Deep learning for steganalysis of diverse data types: A review of methods , taxonomy, challenges and future directions
    Kheddar, Hamza
    Hemis, Mustapha
    Himeur, Yassine
    Megias, David
    Amira, Abbes
    NEUROCOMPUTING, 2024, 581
12345