( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Very low-delay H.264 codec for consumer applications.

, , , , и . ICCE, стр. 65-66. IEEE, (2012)

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.

Mitsuhiro Saito

Mitsuhiro Matsubara

Hinoto Okada

Naotake Okada

Mamiko Okada

 

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

Very low-delay H.264 codec for consumer applications., , , , и . ICCE, стр. 65-66. IEEE, (2012)Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.. ISSAC, стр. 357-363. ACM, (1989)Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style., , и . Diagrams, том 6170 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2010)Computational Semantics for Basic Protocol Logic - A Stochastic Approach., , и . ASIAN, том 4846 из Lecture Notes in Computer Science, стр. 86-94. Springer, (2007)A Simplified Application of Howard's Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems., и . WRLA@ETAPS, том 12328 из Lecture Notes in Computer Science, стр. 136-155. Springer, (2020)A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems.. Logic, Language, and Security, том 12300 из Lecture Notes in Computer Science, стр. 39-47. Springer, (2020)Inductive-data-type Systems, , и . CoRR, (2006)The Calculus of Algebraic Constructions, , и . CoRR, (2006)Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert.. Progress in Discovery Science, том 2281 из Lecture Notes in Computer Science, стр. 40-77. Springer, (2002)Canonical Conditional Rewrite Systems., , и . CADE, том 310 из Lecture Notes in Computer Science, стр. 538-549. Springer, (1988)