A Petri Net-based Conflict Detection Method of Trigger-Action Programming in Smart Home Environments
Abstract: In the smart home environment, users develop a variety of automation rules to meet their needs in different scenarios. These rules can automatically trigger the operation of smart devices ...
A Bi-objective Graph Partitioning Method Based on Graph Attention and Differentiable Hard Assignment
Abstract: This paper proposes DH-GATP as a solution to the bi-objective graph partitioning problem. DH-GATP is a Graph Neural Network (GNN) model that integrates differentiable hard assignment with a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results