Now showing items 4-6 of 104

    • Collaborative Data Publishing and Searching System 

      Ooi, Beng Chin; Yu, Bei; Li, Guoliang (2007-01)
      In this paper, we present a folksonomy-based collaborative data publishing and searching system. The system accepts data objects described with user-created metadata, called data units. The system supports flexible structure ...
    • Characterizing Protein Conformation Space 

      Nigham, Anshul; Hsu, David; Latombe, Jean-Claude (2007-01)
      In this work, we propose a radical approach for exploring the space of all possible protein structures. We present techniques to explore the clash-free conformation space, which comprises all protein structures whose atoms ...
    • Automated Verification of Shape and Size 

      Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei Ngan (2007-01)
      Despite their popularity and importance, pointer based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ...