We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sag...
We describe and demonstrate CBGIR, a web-based system for performing content-based image retrieval in large sets of high-resolution overhead images. The system provides a familiar...
Shawn Newsam, Daniel Leung, Oscar Caballero, Justi...
Background: The wealth of information on protein structure has led to a variety of statistical analyses of the role played by individual amino acid types in the protein fold. In p...
This paper presents a novel theory for learning generic prior models from a set of observed natural images based on a minimax entropy theory that the authors studied in modeling t...
In this paper, we propose a novel algorithm for the automatic registration of two overlapping range images. Since it is relatively difficult to compare the registration errors of ...
Yonghuai Liu, Baogang Wei, Longzhuang Li, Hong Zho...