共 50 条
- [41] IoT-Based Smart Home Healthcare Monitoring System Using Machine Learning Algorithms 2024 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATION AND APPLIED INFORMATICS, ACCAI 2024, 2024,
- [42] Design and Implementation of a Self-Learner Smart Home System Using Machine Learning Algorithms INFORMATION TECHNOLOGY AND CONTROL, 2022, 51 (03): : 545 - 562
- [43] Distributed Classifier System for Smart Home's Machine Learning AGENT-BASED APPROACHES IN ECONOMICS AND SOCIAL COMPLEX SYSTEMS IX, 2017, 15 : 191 - 197
- [44] Design of Intelligent Home Control system based on Machine Learning 2019 INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION, BIG DATA & SMART CITY (ICITBS), 2019, : 498 - 503
- [45] Model Checking of a Cash Machine System PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON RELIABILTY, OPTIMIZATION, & INFORMATION TECHNOLOGY (ICROIT 2014), 2014, : 258 - 261
- [46] Automatic B-model repair using model checking and machine learning Automated Software Engineering, 2019, 26 : 653 - 704
- [49] An intelligent system to connect or disconnect home appliances and monitoring energy levels using IoT Int. J. Technol. Intell. Planning, 2019, 3 (209-222): : 209 - 222
- [50] Is Machine Learning Model Checking Privacy Preserving? LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: RIGOROUS ENGINEERING OF COLLECTIVE ADAPTIVE SYSTEMS, PT II, ISOLA 2024, 2025, 15220 : 139 - 155