858 search results - page 30 / 172 » Lin's method |
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
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...
ENGL
2007
13 years 8 months ago
2007
—There are several types of landform and objects in the virtual environmentsuchasobstacles,moveobjectsanditems…etc.Apathfindingavatar shouldevaluatethewholeenvironmentproperly,...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
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...
CVPR
2008
IEEE
13 years 10 months ago
2008
IEEE
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...
EMNLP
2009
13 years 6 months ago
2009
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...