( en | de | ru )

 

Disambiguation of "Chan, William"

Author of the publication

copydeleteadd this publication to your clipboard
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

, , , , , and . ICSE, page 142-151. ACM, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wilhelm Chan

Raquel Chan

Danny Chan

Chan Zhou

Clifford Chan

 

Other publications of authors with the same name

Cascaded Diffusion Models for High Fidelity Image Generation., , , , , and . CoRR, (2021)Dowry and Wife's Welfare: A Theotrical and Empirical Analysis, and . Journal of Political Economy, 107 (4): 786--808 (213 08 1999)doi: 10.1086/250079.Imputer: Sequence Modelling via Imputation and Dynamic Programming., , , , and . ICML, volume 119 of Proceedings of Machine Learning Research, page 1403-1413. PMLR, (2020)On Online Attention-Based Speech Recognition and Joint Mandarin Character-Pinyin Training., and . INTERSPEECH, page 3404-3408. ISCA, (2016)SpecAugment: A Simple Data Augmentation Method for Automatic Speech Recognition., , , , , , and . INTERSPEECH, page 2613-2617. ISCA, (2019)Insertion Transformer: Flexible Sequence Generation via Insertion Operations., , , and . ICML, volume 97 of Proceedings of Machine Learning Research, page 5976-5985. PMLR, (2019)Advances in Joint CTC-Attention Based End-to-End Speech Recognition with a Deep CNN Encoder and RNN-LM., , , and . INTERSPEECH, page 949-953. ISCA, (2017)Very deep convolutional networks for end-to-end speech recognition., , and . ICASSP, page 4845-4849. IEEE, (2017)Bounds on Scott ranks of some polish metric spaces.. J. Math. Log., 21 (1): 2150001:1-2150001:23 (2021)Very Deep Convolutional Networks for End-to-End Speech Recognition., , and . CoRR, (2016)