Given a collection of sets of 2-D views of 3-D objects and a similarity measure between them, we present a method for summarizing the sets using a small subset called a bounded ca...
Ali Shokoufandeh, Jeff Abrahamson, M. Fatih Demirc...
Recognizing structure of human body is important for modeling human motion. Human body is usually represented as an articulate model, which consists of the rigid parts and the joi...
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting...
In magnetic resonance diffusion tensor imaging (DTI), the direction and magnitude of diffusion of water molecules is characterized by a diffusion tensor. In the central nervous sy...
Jennifer S. W. Campbell, Kaleem Siddiqi, Baba C. V...
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...