Now showing items 1-5 of 5

    • Bag of Feature Graphs: A New Method for Non-rigid 3D Shape Retrieval 

      HOU, XIAOHUA (The Graduate School, Stony Brook University: Stony Brook, NY., 1-Dec-12)
      This thesis presents a new paradigm for non-rigid 3D shape retrieval, which is also called Bag of Feature Graphs (BoFG). The main idea is to connect only the features on the shape to construct the graphs so that the number ...
    • Compiler-Assisted Software Model Checking and Monitoring 

      Huang, Xiaowan (The Graduate School, Stony Brook University: Stony Brook, NY., 1-Dec-10)
      In this dissertation we present a compiler-assisted execution-based software modelchecking method targeting all languages that are acceptable by the compiler. We treatthe intermediate representation of the program under ...
    • Diffusion-Driven Kernel Design and Algorithms for Dynamic Shape Analysis 

      Hou, Tingbo (The Graduate School, Stony Brook University: Stony Brook, NY., 1-May-12)
      With the rapidly development of 3D data acquisition, a massive collection of dynamic shapes emerge and become ubiquitous in various real-world applications. It results in the urgent need of techniques for dynamic shape ...
    • A Spline-based Volumetric Data Modeling Framework and Its Applications 

      Li, Bo (The Graduate School, Stony Brook University: Stony Brook, NY., 1-Dec-11)
      The rapid advances in 3D scanning and acquisition techniques have given rise to the explosive increase of volumetric digital models in recent years. This dissertation systematically trailblazes a novel volumetric modeling ...
    • A Variational Framework of Multivariate Splines and Its Applications 

      Wang, Kexiang (The Graduate School, Stony Brook University: Stony Brook, NY., 1-Aug-10)
      Multivariate spline technique has proved to be a powerful mathematicaltool for solving variational problems in a great number of researchand engineering tasks, such as computer vision, scientific computing,engineering ...