Computer Science (CS): Recent submissions
Now showing items 4-6 of 104
-
Collaborative Data Publishing and Searching System
(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
(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
(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 ...