Yousheng Tian

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