Search Results for author:
Found 2 papers, 0 papers with code
Weakly synchronous systems with three machines are Turing powerful
In particular, we explore the intriguing case of p2p (FIFO) communication, for which the reachability problem is known to be undecidable for four processes, but decidable for two.
Progressive Tree-like Curvilinear Structure Reconstruction with Structured Ranking Learning and Graph Algorithm
We propose a novel tree-like curvilinear structure reconstruction algorithm based on supervised learning and graph theory.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
