25 citations · 31 across the 4 of their papers we have counts for
4 papers
TreeRNN: Topology-Preserving Deep GraphEmbedding and Learning
Yecheng Lyu, Ming Li, Xinming Huang +3
General graphs are difficult for learning due to their irregular structures. Existing works employ message passing along graph edges to extract local patterns using customized grap…
Synthesis of Parallel Synchronous Software
Pantea Kiaei, Patrick Schaumont
In typical embedded applications, the precise execution time of the program does not matter, and it is sufficient to meet a real-time deadline. However, modern applications in info…
Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta +5
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
Flexible Variable Selection for Recovering Sparsity in Nonadditive Nonparametric Models
Zaili Fang, Inyoung Kim, Patrick Schaumont
Variable selection for recovering sparsity in nonadditive nonparametric models has been challenging. This problem becomes even more difficult due to complications in modeling unkno…