( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Recovering temporal PSF using ToF camera with delayed light emission.

, , , , , , и . IPSJ Trans. Comput. Vis. Appl., (2017)

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.

Takahito Mori

 

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

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs., и . FroCoS, том 5749 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2009)Termination of Rule-Based Calculi for Uniform Semi-Unification., и . LATA, том 7810 из Lecture Notes in Computer Science, стр. 56-67. Springer, (2013)Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation., , и . PPDP, стр. 13:1-13:14. ACM, (2019)Correctness of Context-Moving Transformations for Term Rewriting Systems., , , и . LOPSTR, том 9527 из Lecture Notes in Computer Science, стр. 331-345. Springer, (2015)Improving Rewriting Induction Approach for Proving Ground Confluence., , и . FSCD, том 84 из LIPIcs, стр. 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Confluence Competition 2018., , , , , , , и . FSCD, том 108 из LIPIcs, стр. 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Nominal Confluence Tool., и . IJCAR, том 9706 из Lecture Notes in Computer Science, стр. 173-182. Springer, (2016)Position estimation of near point light sources using a clear hollow sphere., , , , и . ICPR, стр. 3721-3724. IEEE Computer Society, (2012)Commutative Rational Term Rewriting., , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 200-212. Springer, (2021)Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables., и . LOPSTR, том 12561 из Lecture Notes in Computer Science, стр. 56-73. Springer, (2020)