Search Results for author:
Found 3 papers, 1 papers with code
A separation logic for sequences in pointer programs and its decidability
To deal with properties on variable-length sequences and multilevel data structures, we propose sequence-heap separation logic which integrates sequences into logical reasoning on heap-manipulated programs.
Learning to Learn Graph Topologies
The model is trained in an end-to-end fashion with pairs of node data and graph samples.
CaT: Weakly Supervised Object Detection with Category Transfer
To handle overlapping category transfer, we propose a double-supervision mean teacher to gather common category information and bridge the domain gap between two datasets.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
