We propose a general method to watermark and probabilistically identify the structured outputs of machine learning algorithms. Our method is robust to local editing operations and...
Ashish Venugopal, Jakob Uszkoreit, David Talbot, F...
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
Background: Novel molecular and statistical methods are in rising demand for disease diagnosis and prognosis with the help of recent advanced biotechnology. High-resolution mass s...
Jingjing Ye, Hao Liu, Crystal Kirmiz, Carlito B. L...
Symmetry is one of the important cues for human and machine perception of the world. For over three decades, automatic symmetry detection from images/patterns has been a standing ...
Minwoo Park, Seungkyu Lee, Po-Chun Chen, Somesh Ka...
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...