The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yuyan Chao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  14. A Run-Based One-Scan Labeling Algorithm. [Citation Graph (, )][DBLP]


  15. A Linear-Time Two-Scan Labeling Algorithm. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002