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: 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.

Finite Automata and Application to Cryptography

Finite Automata and Application to Cryptography PDF

Author: Renji Tao

Publisher: Springer Science & Business Media

Published: 2009-03-08

Total Pages: 411

ISBN-13: 3540782575

DOWNLOAD EBOOK →

Finite Automata and Application to Cryptography mainly deals with the invertibility theory of finite automata and its application to cryptography. In addition, autonomous finite automata and Latin arrays, which are relative to the canonical form for one-key cryptosystems based on finite automata, are also discussed. Finite automata are regarded as a natural model for ciphers. The Ra Rb transformation method is introduced to deal with the structure problem of such automata; then public key cryptosystems based on finite automata and a canonical form for one-key ciphers implementable by finite automata with bounded-error-propagation and without data expansion are proposed. The book may be used as a reference for computer science and mathematics majors, including seniors and graduate students. Renji Tao is a Professor at the Institute of Software, Chinese Academy of Sciences, Beijing.

Advances in Computer Science, Intelligent Systems and Environment

Advances in Computer Science, Intelligent Systems and Environment PDF

Author: David Jin

Publisher: Springer Science & Business Media

Published: 2011-09-15

Total Pages: 733

ISBN-13: 3642237770

DOWNLOAD EBOOK →

CSISE2011 is an integrated conference concentrating its focus upon Computer Science,Intelligent System and Environment. In the proceeding, you can learn much more knowledge about Computer Science, Intelligent System and Environment of researchers all around the world. The international conference will provide a forum for engineers, scientist, teachers and all researchers to discuss their latest research achievements and their future research plan. The main role of the proceeding is to be used as an exchange pillar for researchers who are working in the mentioned field. In order to meet high standard of Springer ́s Advances in Intelligent and Soft Computing ,the organization committee has made their efforts to do the following things. Firstly, poor quality paper has been refused after reviewing course by anonymous referee experts. Secondly, periodically review meetings have been held around the reviewers about five times for exchanging reviewing suggestions. Finally, the conference organization had several preliminary sessions before the conference. Through efforts of different people and departments, the conference will be successful and fruitful. We hope that you can get much more knowledges from our CSISE2011, and we also hope that you can give us good suggestions to improve our work in the future.

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 Computer Science and Information Engineering

Advances in Computer Science and Information Engineering PDF

Author: David Jin

Publisher: Springer Science & Business Media

Published: 2012-05-16

Total Pages: 702

ISBN-13: 3642301266

DOWNLOAD EBOOK →

CSIE2012 is an integrated conference concentrating its focus on Computer Science and Information Engineering . In the proceeding, you can learn much more knowledge about Computer Science and Information Engineering of researchers from all around the world. The main role of the proceeding is to be used as an exchange pillar for researchers who are working in the mentioned fields. In order to meet the high quality of Springer, AISC series, the organization committee has made their efforts to do the following things. Firstly, poor quality paper has been refused after reviewing course by anonymous referee experts. Secondly, periodically review meetings have been held around the reviewers about five times for exchanging reviewing suggestions. Finally, the conference organizers had several preliminary sessions before the conference. Through efforts of different people and departments, the conference will be successful and fruitful.

Advanced Research on Computer Science and Information Engineering

Advanced Research on Computer Science and Information Engineering PDF

Author: Gang Shen

Publisher: Springer Science & Business Media

Published: 2011-05-09

Total Pages: 524

ISBN-13: 3642214010

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.

Lanterna Rally - Theme by Grace Themes