Search Results for author: Chencheng Liang

Found 2 papers, 1 papers with code

Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)

1 code implementation14 Jun 2022 Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

For the second challenge, we explore graph representations of CHCs, and propose a new Relational Hypergraph Neural Network (R-HyGNN) architecture to learn program features.

Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks using Stackelberg Game

no code implementations31 May 2018 Yali Yuan, Chencheng Liang, Megumi Kaneko, Xu Chen, Dieter Hogrefe

In this game, the sensor node acts as a leader taking into account factors such as 'two-hop' anchor nodes and energy consumption, while anchor nodes act as multiple followers, considering their ability to localize sensor nodes and their energy consumption.

Networking and Internet Architecture

Cannot find the paper you are looking for? You can Submit a new open access paper.