Advances In Chinese Computer Science, Vol 1

Advances In Chinese Computer Science, Vol 1 PDF

Author: Kongshi Xu

Publisher: World Scientific

Published: 1988-10-01

Total Pages: 232

ISBN-13: 9814507873

DOWNLOAD EBOOK →

There has been significant progress in certain areas of software engineering in China during the past five years. This volume is the first in a series of reports on outstanding results by Chinese computer scientists. It consists of twelve papers contributed by leading computer scientists in China. This book is a must for all professionals engaged in software engineering research.

Advances in Chinese Computer Science

Advances in Chinese Computer Science PDF

Author: K-S Xu

Publisher: World Scientific

Published: 1991-03-30

Total Pages: 224

ISBN-13: 9814507032

DOWNLOAD EBOOK →

Contents:The Axiom System ACG and the Proof of Consistency of the Systems QM and ZF# (J W Zhang)Log C: A Language and Environment for AI Programming (Y L Feng)From “What” to “How” (J F Xu et al.)Weak Mutation Method of Software Testing and Relational Test Data (R J Zheng & F Jiang)Can Logic Programming Be Liberated from FOL? Foundations of a High Order Rule Language (Q M Chen)The Experiment on 2-D EAG Method for the Recognitions of Hand-Printed Chinese Characters (M Zhao)A Set of Parallel Algorithms for Calculating FFT Based on Multiple Vector Systems (D F Zhang & L Sheng)Knowledge Representation by Petri Nets (C Lin & W M Lu)Limited Error-Propagation, Self-Synchronization and Finite Input Memory FSMs as Weak Inverses (F Bao)The Knowledge Processing of CONBES (R Q Lu & C G Cao)CS: The Communication Sub-System of C-Porel (J L Xu & L X Zhou)Study on the Efficiency Improvement of Knowledge Base Management Systems (L Z Zhou & Z P Fan) Readership: Computer scientists.

Advances in Chinese Computer Science

Advances in Chinese Computer Science PDF

Author: Kongshi Xu

Publisher: World Scientific

Published: 1988

Total Pages: 200

ISBN-13: 9789971507916

DOWNLOAD EBOOK →

There has been significant progress in certain areas of software engineering in China during the past five years. This volume is the first in a series of reports on outstanding results by Chinese computer scientists. It consists of twelve papers contributed by leading computer scientists in China. This book is a must for all professionals engaged in software engineering research.

Advances in Chinese Computer Science

Advances in Chinese Computer Science PDF

Author: K-S Xu

Publisher: World Scientific

Published: 1989-07-01

Total Pages: 196

ISBN-13: 9814583677

DOWNLOAD EBOOK →

Contents:RES: PCB Routing Design Expert System (C W He & M Chen)Formalizing and Automating the Software Process Through Successive Refinement (M Dai & J F Xu)A New Attribute Grammar Class — Dependent Attribute Grammar (C Q Tang)File Translation (J H Lin)Improvements in Jackson's Program Inversion Techniques (Y S Xu & B He)An Implementation of the Graphical Kernel System (GKS) (Y H Xiong, Z Z Huang & S Q Liu)The Process Structure of Distributed Relational Database Management System C-Porel (W M Chen & L X Zhou)IUC: An Interface for Understanding Chinese Language (X B Li)KJ-8920 Vector Recognition System (KJVR) (H Cheng & G Li)FEL Formula — An Economical Law in Formation of Terms (Z W Feng)A Knowledge Base Management System for the Intelligent Man–Machine Communication (L Xie & X Du)On the Structure of Models of Hierarchical Algebraic Specifications (H M Lin) Readership: Computer scientists.

Advances in Computer Science and Engineering

Advances in Computer Science and Engineering PDF

Author: Dehuai Zeng

Publisher: Springer Science & Business Media

Published: 2012-01-26

Total Pages: 786

ISBN-13: 3642279481

DOWNLOAD EBOOK →

This book includes the proceedings of the second International Conference on Advances in Computer Science and Engineering (CES 2012), which was held during January 13-14, 2012 in Sanya, China. The papers in these proceedings of CES 2012 focus on the researchers’ advanced works in their fields of Computer Science and Engineering mainly organized in four topics, (1) Software Engineering, (2) Intelligent Computing, (3) Computer Networks, and (4) Artificial Intelligence Software.

Advanced Research on Computer Science and Information Engineering

Advanced Research on Computer Science and Information Engineering PDF

Author: Gang Shen

Publisher: Springer

Published: 2011-05-09

Total Pages: 531

ISBN-13: 3642214118

DOWNLOAD EBOOK →

This two-volume set (CCIS 152 and CCIS 153) constitutes the refereed proceedings of the International Conference on Computer Science and Information Engineering, CSIE 2011, held in Zhengzhou, China, in May 2011. The 159 revised full papers presented in both volumes were carefully reviewed and selected from a large number of submissions. The papers present original research results that are broadly relevant to the theory and applications of Computer Science and Information Engineering and address a wide variety of topics such as algorithms, automation, artificial intelligence, bioinformatics, computer networks, computer security, computer vision, modeling and simulation, databases, data mining, e-learning, e-commerce, e-business, image processing, knowledge management, multimedia, mobile computing, natural computing, open and innovative education, pattern recognition, parallel computing, robotics, wireless networks, and Web applications.

Advances in Computer Science and Ubiquitous Computing

Advances in Computer Science and Ubiquitous Computing PDF

Author: Doo-Soon Park

Publisher: Springer

Published: 2015-12-17

Total Pages: 918

ISBN-13: 9811002819

DOWNLOAD EBOOK →

This book presents the combined proceedings of the 7th International Conference on Computer Science and its Applications (CSA-15) and the International Conference on Ubiquitous Information Technologies and Applications (CUTE 2015), both held in Cebu, Philippines, December 15 - 17, 2015. The aim of these two meetings was to promote discussion and interaction among academics, researchers and professionals in the field of computer science covering topics including mobile computing, security and trust management, multimedia systems and devices, networks and communications, databases and data mining, and ubiquitous computing technologies such as ubiquitous communication and networking, ubiquitous software technology, ubiquitous systems and applications, security and privacy. These proceedings reflect the state-of-the-art in the development of computational methods, numerical simulations, error and uncertainty analysis and novel applications of new processing techniques in engineering, science, and other disciplines related to computer science.

Recent Advances in Computer Science and Information Engineering

Recent Advances in Computer Science and Information Engineering PDF

Author: Zhihong Qian

Publisher: Springer Science & Business Media

Published: 2012-02-04

Total Pages: 849

ISBN-13: 3642257666

DOWNLOAD EBOOK →

CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing the future of Computer Science and Information Engineering with existing and potential application scenarios. The congress has been held twice, in Los Angeles, USA for the first and in Changchun, China for the second time, each of which attracted a large number of researchers from all over the world. The congress turns out to develop a spirit of cooperation that leads to new friendship for addressing a wide variety of ongoing problems in this vibrant area of technology and fostering more collaboration over the world. The congress, CSIE 2011, received 2483 full paper and abstract submissions from 27 countries and regions over the world. Through a rigorous peer review process, all submissions were refereed based on their quality of content, level of innovation, significance, originality and legibility. 688 papers have been accepted for the international congress proceedings ultimately.