Yousheng Tian

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Code Generation

Knowledge Level

Formal Specification

Cognitive Robotics

Top Venues

Int. J. Softw. Sci. Comput. Intell.

Publications

Yingxu Wang, Yousheng Tian
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics. Int. J. Softw. Sci. Comput. Intell. 5 (2) (2013)
Yingxu Wang, Yousheng Tian
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA. Int. J. Softw. Sci. Comput. Intell. 4 (2) (2012)
Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Günther Ruhe
A formal knowledge representation system for the cognitive learning engine. IEEE ICCI*CC (2011)
Yingxu Wang, Yousheng Tian, Kendall Hu
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra. Int. J. Cogn. Informatics Nat. Intell. 5 (3) (2011)
Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Günther Ruhe
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine. Int. J. Softw. Sci. Comput. Intell. 3 (4) (2011)
Yingxu Wang, Yousheng Tian, Kendall Hu
The operational semantics of Concept Algebra for cognitive computing and machine learning. IEEE ICCI*CC (2011)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu
The Formal Design Model of a File Management System (FMS). Int. J. Softw. Sci. Comput. Intell. 3 (1) (2011)
Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian
The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. Int. J. Softw. Sci. Comput. Intell. 2 (2) (2010)
Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian
The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors. Int. J. Softw. Sci. Comput. Intell. 2 (3) (2010)
Kai Hu, Yingxu Wang, Yousheng Tian
A Web Knowledge Discovery Engine Based on Concept Algebra. Int. J. Cogn. Informatics Nat. Intell. 4 (1) (2010)
Yousheng Tian, Yingxu Wang, Kai Hu
A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra. Trans. Comput. Sci. 5 (2009)
Yousheng Tian, Yingxu Wang
A Knowledge Representation Tool Based on Concept Algebra. IEEE ICCI (2007)