Structured overlay networks is an important and interesting primitive that can be used by diverse peer-to-peer applications. Multiple overlays can result either because of network ...
In this paper we present two new methods for speech enhancement based on the previously publised ne pitch model (FPM) for voiced speech. The rst method (FPM-NE) uses the FPM to pr...
This paper proposes a three-dimensional (3D) body scanning system that uses passive stereo vision with a robot arm. So far, the reported 3D body scanning systems employ active 3D ...
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...