Hideto Kasuya

Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes

Kiyoshi Agusa, Masahiko Sakai, Hideto Kasuya, 2009 .

Descendants and Head Normalization of Higher-Order Rewrite Systems

Kiyoshi Agusa, Masahiko Sakai, Hideto Kasuya, 2002, FLOPS.

Recognizability of Redexes for Higher-Order Rewrite Systems

Kiyoshi Agusa, Masahiko Sakai, Hideto Kasuya, 2009 .

An efficient two-scan algorithm for computing basic shape features of objects in a binary image

Bin Yao, Xiao Zhao, Lifeng He, 2016, Journal of Real-Time Image Processing.

An Algorithm for Calculating Objects’ Shape Features in Binary Images

Bin Yao, Xiao Zhao, Lifeng He, 2017 .

A fast algorithm for integrating connected-component labeling and euler number computation

Yun Yang, Xiao Zhao, Bin Yao, 2018, Journal of Real-Time Image Processing.

Change Detection for CASE tool of Markup Language for Source Program

Shinichiro Yamamoto, Hideto Kasuya, Tooru Takahashi, 2006 .