研究者
J-GLOBAL ID:200901084268269735
更新日: 2022年09月09日
何 立風
He Lifeng
所属機関・部署:
愛知県立大学 情報科学部
愛知県立大学 情報科学部 について
「愛知県立大学 情報科学部」ですべてを検索
機関情報を見る
職名:
教授
研究分野 (1件):
情報学基礎論
研究キーワード (9件):
パタン認識
, 画像処理
, 人工知能
, 前向き推論
, 定理証明
, 自動推論
, Image Processing
, Artifical Intelligence
, Automated Reasoning
競争的資金等の研究課題 (7件):
マルチエージェント協調計算に関する研究
画像処理に関する研究
定理証明に関する研究
Theorem Proving
Study On Multi-Agent Cooperation
Study On Image Processing
Study on Theorem Proving
全件表示
論文 (48件):
Lifeng He, Bin Yao, Xiao Zhao, Yun Yang, Zhenghao Shi, Hideto Kasuya, Yuyan Chao. A fast algorithm for integrating connectedcomponent. labeling and euler number computation. Journal of Real-Time Image Processing. 2018. 15. 4. 709-723
Bin Yao, Lifeng He, Shiying Kang, Xiao Zhao, Yuyan Chao. Bit-Quad-Based Euler Number Computing. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2017. E100D. 9. 2197-2204
Lifeng He, X. Zhao, B. Yao, Y. Yang, Y. Chao, Z. Shi, K. Suzuki. A combinational algorithm for connected-component labeling and Euler number computing. Journal of Real-Time Image Processing. 2017. 13. 4. 703-712
Lifeng He, X. Ren, B. Yao, X. Zhao, Y. Chao. The Connected-Component Labeling Problem: A Review of State-of-the-Art Algorithms. Pattern Recognition DOI : 10.1016/j.patcog.2017.04.018. 2017
Yao B, Lifeng He, Kang S, Y. Chao. A new run-based algorithm for Euler number computing. Pattern Analysis & Applications. 2017. 20. 1. 49-58
もっと見る
MISC (4件):
An Improvement of A-SATCHMORE. 2000. 15. 6. 1125-1129
Skeleto Revision Algorithm Using Maxinal Circles. 1999. 40. 2. 768-771
A-SATCHMORE STACHMORE with Availbility checking(共著). New Generation Computing. 1998. 16. 55-74
A Muti-Agent Cooperative Reasoning System for Amalgemated Knowledge Bases. Lecture Notes in Artificial Intelligence. 1997. 1286. 92-105
所属学会 (5件):
中国人工知能学会
, 中国計算機学会
, 電子情報通信学会
, IEEE
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM