Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
—There are several types of landform and objects in the virtual environmentsuchasobstacles,moveobjectsanditems…etc.Apathfindingavatar shouldevaluatethewholeenvironmentproperly,...
Numerous MCFI methods have been proposed to increase the frame rate in the past ten years. However, these methods usually focus on how to double the frame rate and involve complex...
In this paper, we present a novel single-image vignetting method based on the symmetric distribution of the radial gradient (RG). The radial gradient is the image gradient along t...
Yuanjie Zheng, Jingyi Yu, Sing Bing Kang, Stephen ...
In this paper, we present a semi-supervised method for automatic speech act recognition in email and forums. The major challenge of this task is due to lack of labeled data in the...