#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2007

2013

- This year (0)
- Last 5 years (2)
- Last 10 years (13)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

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

It is recognized that the generic form of machine learning is a knowledge acquisition and manipulation process mimicking the brain. Therefore, knowledge representation as a dynamic concept network is centric in the design and implementation of the intelligent knowledge base of a Cognitive Learning Engine (CLE). This paper presents a Formal Knowledge… (More)

- Yingxu Wang, Yousheng Tian, Kendall Hu
- IEEE 10th International Conference on Cognitive…
- 2011

Concept Algebra (CA) is a denotational mathematical structure for formal knowledge representation and manipulations in cognitive computing and machine learning. CA provides a rigorous and dynamic knowledge modeling and processing tool, which extends the informal, static, and application-specific ontological technologies. An operational semantics for the… (More)

- Yingxu Wang, Yousheng Tian, Kendall Hu
- IJCINI
- 2011

Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form of denotational mathematics known as concept algebra is introduced. Concept Algebra (CA) is a denotational mathematical structure for formal knowledge representation and manipulation in machine learning and cognitive computing. CA provides a… (More)

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

A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world… (More)

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

A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model for a general RTOS known as RTOS+ that enables a specific target RTOS to be rigorously and efficiently derived in real-world… (More)

- Kai Hu, Yingxu Wang, Yousheng Tian
- 2007 Canadian Conference on Electrical and…
- 2007

On-line knowledge discovery is an important area of knowledge engineering. This paper develops a visualized concept network explorer and a semantic analyzer to locate, capture, and refine queries based on concept algebra. A graphical interface is built using concept and semantic models to refine users' query structures. This tool kit can generate a… (More)

- Yousheng Tian, Yingxu Wang, Kai Hu
- Trans. Computational Science
- 2009

- Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Günther Ruhe
- IEEE 10th International Conference on Cognitive…
- 2011

Knowledge representation is one of the central problems in the design and implementation of a cognitive learning engine (CLE). A formal knowledge representation system (FKRS) is developed for autonomous concept formation based on concept algebra. The object-attribute-relation (OAR) model for knowledge representation is adopted in the design of FKRS. The… (More)

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

Files are a typical abstract data type for data objects and software modeling, which provides a standard encapsulation and access interface for manipulating large-volume information and persistent data. File management systems are an indispensable component of operating systems and real-time systems for file manipulations. This paper develops a… (More)

- Yingxu Wang, Yousheng Tian
- IJSSCI
- 2013