Some criteria based on mode inference for validating inductive hypotheses are presented in this pa- per.Mode inference is carried out mechanically,thus such kind of validation can result in low overhead in consistency...Some criteria based on mode inference for validating inductive hypotheses are presented in this pa- per.Mode inference is carried out mechanically,thus such kind of validation can result in low overhead in consistency check and high efficiency in performance.展开更多
In the view of pragmatics, and based on relevance theory, this thesis gives analysis to Zhao Benshan's short sketch via typical cases to find the factors triggering humorous effects, so as to understand the specif...In the view of pragmatics, and based on relevance theory, this thesis gives analysis to Zhao Benshan's short sketch via typical cases to find the factors triggering humorous effects, so as to understand the specific pragmatic effect of short sketch words.展开更多
文摘Some criteria based on mode inference for validating inductive hypotheses are presented in this pa- per.Mode inference is carried out mechanically,thus such kind of validation can result in low overhead in consistency check and high efficiency in performance.
文摘In the view of pragmatics, and based on relevance theory, this thesis gives analysis to Zhao Benshan's short sketch via typical cases to find the factors triggering humorous effects, so as to understand the specific pragmatic effect of short sketch words.
