共 50 条
- [41] Incremental Event Calculus for Run-Time Reasoning* (Extended Abstract) PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6974 - 6978
- [42] A logical approach to incorporating qualitative spatial reasoning into GIS (extended abstract) SPATIAL INFORMATION THEORY: A THEORETICAL BASIC FOR GIS, 1997, 1329 : 503 - 504
- [43] Recent results on modular multiplications for smart cards - (Extended abstract) SMART CARD RESEARCH AND APPLICATIONS, PROCEEDINGS, 2000, 1820 : 336 - 352
- [44] Smart heating in collaborative and reasoning-enabled housing units FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 109 : 644 - 656
- [45] On the specification and verification of atomic swap smart contracts (extended abstract) 2019 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (ICBC), 2019, : 176 - 179
- [46] Mobility and resource management in smart home environments (Extended abstract) EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2004, 3207 : 1109 - 1111
- [47] eDAAAS: Efficient distributed anonymous authentication and access in smart homes INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2016, 12 (12):
- [48] A Novel and Distributed Approach for Activity Recognition Inside Smart Homes 2018 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2018, : 726 - 733
- [50] Run statistics for geometrically distributed random variables - (Extended abstract) LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 457 - 462