Yousheng Tian

According to our database, Yousheng Tian authored at least 12 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics.

Yingxu Wang, Yousheng Tian

Int. J. Softw. Sci. Comput. Intell., 2013

2012

Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA.

Yingxu Wang, Yousheng Tian

Int. J. Softw. Sci. Comput. Intell., 2012

2011

The Formal Design Model of a File Management System (FMS).

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu

Int. J. Softw. Sci. Comput. Intell., 2011

A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine.

Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Günther Ruhe

Int. J. Softw. Sci. Comput. Intell., 2011

Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra.

Yingxu Wang, Yousheng Tian, Kendall Hu

Int. J. Cogn. Informatics Nat. Intell., 2011

The operational semantics of Concept Algebra for cognitive computing and machine learning.

Yingxu Wang, Yousheng Tian, Kendall Hu

Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

A formal knowledge representation system for the cognitive learning engine.

Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Günther Ruhe

Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

2010

The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors.

Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian

Int. J. Softw. Sci. Comput. Intell., 2010

The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks.

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian

Int. J. Softw. Sci. Comput. Intell., 2010

A Web Knowledge Discovery Engine Based on Concept Algebra.

Kai Hu, Yingxu Wang, Yousheng Tian

Int. J. Cogn. Informatics Nat. Intell., 2010

2009

A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra.

Yousheng Tian, Yingxu Wang, Kai Hu

Trans. Comput. Sci., 2009

2007

A Knowledge Representation Tool Based on Concept Algebra.

Yousheng Tian, Yingxu Wang

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007