( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Crowdsourcing Approach for Subjective Evaluation of Echo Impairment.

, , , , и . ICASSP, стр. 406-410. IEEE, (2021)

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.

Ando Seeberg

Junko Ando

Sanae Ando

Ando Welling

Ando Suevari

 

Другие публикации лиц с тем же именем

Proof optimization for partial redundancy elimination., и . J. Log. Algebraic Methods Program., 78 (7): 619-642 (2009)Visual tool for generative programming., , и . ESEC/SIGSOFT FSE, стр. 249-252. ACM, (2005)ICASSP 2021 Acoustic Echo Cancellation Challenge: Datasets, Testing Framework, and Results., , , , , , , , и . ICASSP, стр. 151-155. IEEE, (2021)ICASSP 2022 Acoustic Echo Cancellation Challenge., , , , , , , и . ICASSP, стр. 9107-9111. IEEE, (2022)A Compositional Natural Semantics and Hoare Logic for Low-Level Languages., и . SOS@ICALP, том 156 из Electronic Notes in Theoretical Computer Science, стр. 151-168. Elsevier, (2005)Proof optimization for partial redundancy elimination., и . PEPM, стр. 91-101. ACM, (2008)Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)., и . ABZ, том 5238 из Lecture Notes in Computer Science, стр. 355. Springer, (2008)Foundational certification of data-flow analyses., , и . TASE, стр. 107-116. IEEE Computer Society, (2007)Bidirectional data-flow analyses, type-systematically., , и . PEPM, стр. 141-150. ACM, (2009)Program and proof optimizations with type systems., и . J. Log. Algebraic Methods Program., 77 (1-2): 131-154 (2008)