Skip to main content

2,631 Result(s)

within ** **ang Zhang Remove this filter Artificial Intelligence Remove this filter

previous disabled Page of 132
and

  1. No Access

    Article

    The complexity of the 0/1 multi-knapsack problem

    In this paper complexity of the 0/1 multi-knapsack problem is discussed. First we prove that the corresponding decision problem is NP-complete in the strong sense. For any fixed numberk of knapsacks, the problem ...

    Li’ang Zhang, Suyun Geng in Journal of Computer Science and Technology (1986)

  2. No Access

    Article

    Vector computer 757

    This paper describes briefly the first large-scale vector computer system designed and produced in China—vector computer 757. The design philosophy, architecture, hardware implementation, software and performa...

    Qingshi Gao, **ang Zhang, Shufan Yang… in Journal of Computer Science and Technology (1986)

  3. No Access

    Article

    A visual tool for user-interface development

    VITUID is a visual tool for user interface development. It aims to help user-interface designers, who may be non-programmers, to specify and create interactive, graphical user interfaces through graphical inte...

    Shijie Cai, Wei Li, Honggang-Zhang in The Visual Computer (1992)

  4. No Access

    Article

    Efficient realization of frequently used bijections on cube-connected cycles

    CCC has lower hardware complexity than hypercube and is suited for current VLSI technology. LC-permutations are a large set of important permutations frequently used in various parallel computations. Existing ...

    Zhiyong Liu, Qun Liu, **ang Zhang in Journal of Computer Science and Technology (1995)

  5. No Access

    Chapter and Conference Paper

    Power defaults (preliminary report)

    We present a spectrum of default logics, using powerdomains to encode default constraints. The resulting nonmonotonic entailment relations all satisfy the law of reasoning by cases. This result is a consequenc...

    Guo-Qiang Zhang, William C. Rounds in Logic Programming And Nonmonotonic Reasoning (1997)

  6. No Access

    Article

    Logical considerations on default semantics

    We consider a reinterpretation of the rules of default logic. We make Reiter’s default rules into a constructive method of building models, not theories. To allow reasoning in first‐order systems, we equip sta...

    William C. Rounds, Guo‐Qiang Zhang in Annals of Mathematics and Artificial Intelligence (1997)

  7. No Access

    Article

    Nonmonotonic consequences in default domain theory

    Default domain theory is a framework for representing and reasoning about commonsense knowledge. Although this theory is motivated by ideas in Reiter’s work on default logic, it is in some sense a dual framewo...

    Guo‐Qiang Zhang, William C. Rounds in Annals of Mathematics and Artificial Intelligence (1997)

  8. No Access

    Chapter and Conference Paper

    Java and network parallel processing

    Parallel computing on a network of workstations (NOW) is receiving a lot of attention from the research community. Recently, Java has emerged as a language of choice for programming on the Internet. However, t...

    Nenad Stankovic, Kang Zhang in Recent Advances in Parallel Virtual Machin… (1998)

  9. No Access

    Article

    Approximation for knapsack problems with multiple constraints

    In this paper, the approximation for four kinds of knapsack problems with multiple constraints is studied: 0/1 Multiple Constraint Knapsack Problem (0/1 MCKP), Integer Multiple Constraint Knapsack Problem (Int...

    Li’ang Zhang, Yin Zhang in Journal of Computer Science and Technology (1999)

  10. No Access

    Article

    A new look at metabolism-repair systems—a living system on screen

    The cell is the basic form of living system. Metabolism and repair (M-R) are very basic functions for cells. M-R systems is an abstract description of this kind of living system. In this paper, we propose a mo...

    Yongguang Zhang, Masanori Sugisaka, Chenmei Xu in Artificial Life and Robotics (1999)

  11. No Access

    Chapter and Conference Paper

    Towards a Next-Generation Search Engine

    As more information becomes available on the World Wide Web, it has become an acute problem to provide effective search tools for information access. Previous generations of search engines are mainly keyword-b...

    Qiang Yang, Hai-Feng Wang, Ji-Rong Wen… in PRICAI 2000 Topics in Artificial Intellige… (2000)

  12. No Access

    Chapter and Conference Paper

    Optimizing Classifiers by Genetic Algorithm

    The paper focuses on methods of optimizing a single classifier and combining multiple classifiers by genetic algorithms (GAs). The method uses both the strategies of stacking and GAs to enhance the predictive ...

    Wenyun Ji, Liang Zhang, Wen ** in Web-Age Information Management (2000)

  13. No Access

    Chapter and Conference Paper

    Cost Evaluation of Interactively Correcting Recognized Engineering Drawings

    We present a new scheme, which is based on the cost of interactively correcting detection errors, for performance evaluation of engineering drawings recognition algorithms. We correct an actual output graphic ...

    Wenyin Liu, Liang Zhang, Long Tang, Dov Dori in Graphics Recognition Recent Advances (2000)

  14. No Access

    Chapter and Conference Paper

    Retrieving Content Directly from Antique Book Images

    The digitization and utilization of antique books are of significance. WWW lays a foundation for the dissemination of images, but more comprehensive mechanisms, such as content-based retrieval, are necessary t...

    Zhifeng Chen, Yong Wang, Liang Zhang, Baile Shi in Web-Age Information Management (2000)

  15. No Access

    Chapter and Conference Paper

    Sequents, Frames, and Completeness

    Entailment relations, originated from Scott, have been used for describing mathematical concepts constructively and for representing categories of domains. This paper gives an analysis of the freely generated ...

    Thierry Coquand, Guo-Qiang Zhang in Computer Science Logic (2000)

  16. No Access

    Article

    Bottom-up development of multicellular digital organisms

    How multicellular creatures can be developed from single cells into multicellular forms is a basic question in research into artificial life. In this paper, we propose a possible anser to that question by deve...

    Yong-Guang Zhang, Masanori Sugisaka, **aoqiang Wu in Artificial Life and Robotics (2000)

  17. No Access

    Article

    Node grou** in system-level fault diagnosis

    With the popularization of network applications and multiprocessor systems, dependability of systems has drawn considerable attention. This paper presents a new technique of node grou** for system-level faul...

    Dafang Zhang, Gaogang **e, Yinghua Min in Journal of Computer Science and Technology (2001)

  18. No Access

    Article

    Bootstrap estimation of actual significance levels for tests based on estimated nuisance parameters

    Often for a non-regular parametric hypothesis, a tractable test statistic involves a nuisance parameter. A common practice is to replace the unknown nuisance parameter by its estimator. The validality of such ...

    Qiwei Yao, Wenyang Zhang, Howell Tong in Statistics and Computing (2001)

  19. No Access

    Article

    Comparison of different implementations of MFCC

    The performance of the Mel-Frequency Cepstrum Coefficients (MFCC) may be affected by (1) the number of filters, (2) the shape of filters, (3) the way in which filters are spaced, and (4) the way in which the p...

    Fang Zheng, Guoliang Zhang, Zhanjiang Song in Journal of Computer Science and Technology (2001)

  20. No Access

    Article

    Domains via graphs

    This paper provides a concrete and simple introduction to two pillars of domain theory: (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winsk...

    Guoqiang Zhang, Yixiang Chen in Journal of Computer Science and Technology (2001)

previous disabled Page of 132