This repository is the implementation of the following paper: Theoretical Insights into Line Graph Transformation on Graph Learning. This project is built on the BREC dataset which includes 400 pairs ...
Abstract: We consider the problem of verifying graph transformations described by an imperative programming language. This question is particularly relevant for transformation of knowledge bases. We ...
Abstract: Fault detection and isolation (FDI) in process industries remain challenging due to misdiagnosed dynamic variations, limited fault labels, and complex variable interactions. To address these ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results