no code implementations • 4 Dec 2020 • Yiou Lin, Hang Lei, Yu Deng
The search frequency of the rumor is used as an observation variable of new insiders.
no code implementations • 27 Mar 2018 • Zheng Yang, Hang Lei
This article presents the formal syntax and semantics for a large subset of the Solidity programming language developed for the Etheruem blockchain platform based on our resent work about developing a general, extensible, and reusable formal memory (GERM) framework and an extension of Curry-Howard isomorphism, denoted as execution-verification isomorphism (EVI).
Programming Languages
no code implementations • 26 Jul 2016 • Yiou Lin, Hang Lei, Prince Clement Addo, Xiaoyu Li
In our solution, rather than using manual rules, machine learned methods to automatically detect the semantic similarity of positions are proposed.
no code implementations • PACLIC 2015 • Yiou Lin, Hang Lei, Jia Wu, Xiaoyu Li
In this article, how word embeddings can be used as features in Chinese sentiment classification is presented.