Yuyan Chao

2008
15	EE	Lifeng He, Yuyan Chao, Kenji Suzuki: A Run-Based Two-Scan Labeling Algorithm. IEEE Transactions on Image Processing 17(5): 749-756 (2008)
2007
14	EE	Lifeng He, Yuyan Chao, Kenji Suzuki: A Run-Based Two-Scan Labeling Algorithm. ICIAR 2007: 131-142
13	EE	Lifeng He, Yuyan Chao, Kenji Suzuki: A Linear-Time Two-Scan Labeling Algorithm. ICIP (5) 2007: 241-244
12	EE	Yuyan Chao, Lifeng He, Tsuyoshi Nakamura, Zhenghao Shi, Kenji Suzuki, Hidenori Itoh: An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving. J. Comput. Sci. Technol. 22(4): 541-553 (2007)
2005
11	EE	Qiang Li, Yuyan Chao, Tsuyoshi Nakamura, Lifeng He, Hidenori Itoh: Image color transfer with region matching based on IEC. Congress on Evolutionary Computation 2005: 1501-1508
2004
10	EE	Lifeng He, Yuyan Chao, Hidenori Itoh: R-SATCHMO: Refinements on I-SATCHMO. J. Log. Comput. 14(2): 117-143 (2004)
2003
9	EE	Lifeng He, Yuyan Chao, Tsuyoshi Nakamura, Hidenori Itoh: I-Satchmore: An Improvement of A-SATCHMORE. J. Comput. Sci. Technol. 18(2): 181-189 (2003)
8	EE	Yuyan Chao, Lifeng He, Hidenori Itoh: Inferring Solids Composed of Linear and Quadratic Surfaces from Incomplete Three Views. J. Comput. Sci. Technol. 18(3): 332-342 (2003)
7	EE	Lifeng He, Yuyan Chao, Hidenori Itoh: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. J. Comput. Sci. Technol. 18(5): 580-591 (2003)
2002
6	EE	Yuyan Chao, Norimitsu Kawana, Lifeng He, Tsuyoshi Nakamura, Hidenori Itoh: R-UNSEARCHMO: A Refinement on UNSEARCHMO. PRICAI 2002: 29-38
2000
5		Lifeng He, Yuyan Chao, Koji Yamada, Tsuyoshi Nakamura, Hidenori Itoh: Multi-agent Cooperative Reasoning Using Common Knowledge and Implicit Knowledge. PRICAI 2000: 815
1998
4		Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: A-SATCHMORE: SATCHMORE with Availability Checking. New Generation Comput. 16(1): 55-74 (1998)
1996
3		Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Constructing More Relevant Models. ASIAN 1996: 345-346
2		Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh: Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time. DAI 1996: 152-165
1		Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh: A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases. DAI 1996: 92-105

Coauthor Index

1	Tetsuo Araki	[1] [2]
2	Lifeng He	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
3	Hidenori Itoh	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
4	Shohei Kato	[1] [2]
5	Norimitsu Kawana	[6]
6	Qiang Li	[11]
7	Tsuyoshi Nakamura	[5] [6] [9] [11] [12]
8	Hirohisa Seki	[1] [2] [3] [4]
9	Zhenghao Shi	[12]
10	Yuka Shimajiri	[3] [4]
11	Kenji Suzuki	[12] [13] [14] [15]
12	Koji Yamada	[5]