Phase disambiguation using spatio-temporally modulated illumination in depth sensing von Kushida, Takahiro, Tanaka, Kenichiro, Aoto, Takahito, Funatomi, Takuya, Mukaigawa, Yasuhiro

Volltext

Optical tomography based on shortest-path model for diffuse surface object von Iwaguchi, Takafumi, Funatomi, Takuya, Aoto, Takahito, Kubo, Hiroyuki, Mukaigawa, Yasuhiro

Volltext

4-D light field reconstruction by irradiance decomposition von Aoto, Takahito, Sato, Tomokazu, Mukaigawa, Yasuhiro, Yokoya, Naokazu

Volltext

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems von Aoto, Takahito, Toyama, Yoshihito

Volltext

Rational Term Rewriting Revisited: Decidability and Confluence von Aoto, Takahito, Ketema, Jeroen

Volltext

Formalizing Rewriting Induction on Isabelle/HOL von KIMURA, Yuta, AOTO, Takahito

Volltext

Decidability of Inductive Theorems based on Rewriting Induction von NAKAZIMA, Tatsunari, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

Non-rigid registration of serial section images by blending transforms for 3D reconstruction von Kajihara, Takehiro, Funatomi, Takuya, Makishima, Haruyuki, Aoto, Takahito, Kubo, Hiroyuki, Yamada, Shigehito, Mukaigawa, Yasuhiro

Volltext

Disproving Strong Head Normalization and General Productivity Automatically in Infinitary Term Rewriting Systems von IWAMI, Munehiro, AOTO, Takahito

Volltext

Program Transformation Templates for Tupling Based on Term Rewriting von CHIBA, Yuki, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

Dealing with Non-orientable Equations in Rewriting Induction von Aoto, Takahito

Volltext

A Path Ordering for Term Rewriting Systems with Polynomial Size Normal Forms von ISOBE, Kouki, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

PII: S0304-3975(12)00829-8 von Aoto, Takahito, Middeldorp, Aart

Volltext

Preface von Aoto, Takahito, Middeldorp, Aart

Volltext

Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering von Aoto, Takahito

Volltext

Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables von Kikuchi, Kentaro, Aoto, Takahito

Volltext

Nominal Confluence Tool von Aoto, Takahito, Kikuchi, Kentaro

Volltext

Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems von Aoto, Takahito, Toyama, Yoshihito

Volltext

Innermost Reachability of Bottom-Up Innermost Term Rewriting Systems von TAKAHASHI, Shota, AOTO, Takahito, TOYAMA, Yoshihito

Volltext

Confluence Proofs of Term Rewriting Systems Based on Persistency von SUZUKI, Tsubasa, AOTO, Takahito, TOYAMA, Yoshihito

Volltext