Search

Your search keyword '"Wang, Yingxu"' showing total 16 results
Start Over Author "Wang, Yingxu" Topic software engineering
16 results on '"Wang, Yingxu"'

1. On Contemporary Denotational Mathematics for Computational Intelligence

Author

Wang, Yingxu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gavrilova, Marina L., editor, Tan, C. J. Kenneth, editor, Wang, Yingxu, editor, Yao, Yiyu, editor, and Wang, Guoyin, editor

Published
2008
Full Text
View/download PDF

2. On Mathematical Laws of Software

Author

Wang, Yingxu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gavrilova, Marina L., editor, Tan, C. J. Kenneth, editor, Wang, Yingxu, editor, Yao, Yiyu, editor, and Wang, Guoyin, editor

Published
2008
Full Text
View/download PDF

3. Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation

Author

Wang, Yingxu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Wang, Guo-Ying, editor, Peters, James F., editor, Skowron, Andrzej, editor, and Yao, Yiyu, editor

Published
2006
Full Text
View/download PDF

15. Towards the abstract system theory of system science for cognitive and intelligent systems.

Author

Wang, Yingxu

Subjects
SYSTEMS theory, MATHEMATICAL logic, MATHEMATICAL models, COGNITIVE robotics, SOFTWARE engineering, SYSTEMS engineering
Abstract

Basic studies in system science explore the theories, principles, and properties of abstract and concrete systems as well as their applications in system engineering. Systems are the most complicated entities and phenomena in abstract, physical, information, cognitive, brain, and social worlds across a wide range of science and engineering disciplines. The mathematical model of a general system is embodied as a hyperstructure of the abstract system. The theoretical framework of system science is formally described by a set of algebraic operations on abstract systems known as system algebra. A set of abstract structures, properties, behaviors, and principles is rigorously formalized in contemporary system theories. Applications of the formal theories of system science in system engineering, intelligent engineering, cognitive informatics, cognitive robotics, software engineering, cognitive linguistics, and cognitive computing are demonstrated, which reveals how system structural and behavioral complexities may be efficiently reduced in system representation, modeling, analysis, synthesis, inference, and implementation. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

16. An Ontology Modeling Tool

Author

Chan, Christine W., Harrison, Robert, Kacprzyk, Janusz, editor, Wang, Yingxu, editor, Zhang, Du, editor, and Kinsner, Witold, editor

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results