Haptic devices can be used to visualize information. As well as representing tangible surfaces and forces to enhance virtual training simulators for instance, haptic devices have ...
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
Abstract. The problem of clustering data can be formulated as a graph partitioning problem. In this setting, spectral methods for obtaining optimal solutions have received a lot of...
Marcus Weber, Wasinee Rungsarityotin, Alexander Sc...
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
Mark Bickford, Robert L. Constable, Joseph Y. Halp...
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...