21,125 Result(s)

Chapter and Conference Paper

RRL: A rewrite rule laboratory

Deepak Kapur, G. Sivakumar, Hantao Zhang in 8th International Conference on Automated … (1986)

Chapter and Conference Paper

An Intelligent Vision System for Robot

An intelligent vision system, LONGJIANG, is studied. In this paper we focus on the cooperation between hardware and software to meet some specified requirements, such as real-time, cost-performance, etc. A vie...

Zhong-rong Li, Da-peng Zhang in Applications of Artificial Intelligence in… (1986)

Chapter and Conference Paper

Proof by induction using test sets

A new method for proving an equational formula by induction is presented. This method is based on the use of the Knuth-Bendix completion procedure for equational theories, and it does not suffer from limitatio...

Deepak Kapur, Paliath Narendran… in 8th International Conference on Automated … (1986)

Chapter and Conference Paper

Optimal Distributive Relation Between Fingertip Forces for the Active Robot Hand to Manipulate an Object

In this paper, the dynamic equations are established for the active robot hand to manipulate an object. According to the hand design features and certain assumptions, we outline the geometrical and frictional ...

Guo Gongliang, Zhang Qi-xian in Robotics and Factories of the Future ’87 (1988)

Chapter and Conference Paper

Erkennung von chinesischer Druckschrift anhand der „Schwarzsprungverteilung in angepaßten Teilbildern“: Verfahrensbeschreibung und Merkmalsanalyse

„Schwarzsprungverteilung in angepaßten Teilbildern“ ist ein vom stroke density feature abgeleitetes neues Merkmalsextraktionsverfahren zur Erkennung von chinesischen und alphabetischen Druckschriften. Die Klas...

Jun Guo, Irmfried Hartmann, Richard Suchenwirth, Zhang Zheng in Mustererkennung 1989 (1989)

Chapter and Conference Paper

An overview of Rewrite Rule Laboratory (RRL)

Deepak Kapur, Hantao Zhang in Rewriting Techniques and Applications (1989)

Chapter and Conference Paper

On the classification and existence of structures in default logic

We investigate possible belief sets of an agent reasoning with defaults. Besides of Reiter's extensions which are based on a proof-theoretic paradigm (similar to Logic Programming), other structures for defaul...

Aidong Zhang, Wiktor Marek in EPIA 89 (1989)

Chapter and Conference Paper

Consider only general superpositions in completion procedures

Superposition or critical pair computation is one of the key operations in the Knuth-Bendix completion procedure and its extensions. We propose a practical technique which can save computation of some critical...

Hantao Zhang, Deepak Kapur in Rewriting Techniques and Applications (1989)

Chapter and Conference Paper

Collaborative computer-based learning in China

This paper describes the Computer Based Learning and Teaching (CBLT) system that has been developed at East China Normal University in Shanghai. The system addresses the shortage of educational technology reso...

Zhang Ji-**, Diana De I.P.F. in Computer Assisted Learning (1990)

Chapter and Conference Paper

A design and modeling environment to develop real-time, distributed software systems

This paper presents the general structure of a design and modeling environment for real-time, parallel/distributed software systems. It is provided for the designer to cope with different modeling and analysis...

Reda Ammar, ** Zhang in Advances in Computing and Information — ICCI '91 (1991)

Chapter and Conference Paper

Multilevel interface to a distributed database system

In this paper we present the issues involved in the design of a Multilevel Interface to a Heterogeneous Distributed Database Management Systems. The system provides interaction with the database using natural ...

Bipin C. Desai, Li Zhang in Methodologies for Intelligent Systems (1991)

Chapter and Conference Paper

Edge Labelling by Fusion of Intensity and Range Data

A method for labelling edge data in registered intensity and range images is presented. First, depth, orientation and intensity discontinuities are identified by one-dimensional filters aligned with the image ...

G. Zhang, A. M. Wallace in BMVC91 (1991)

Chapter and Conference Paper

Relational Model Construction and 3D Object Recognition from Single 2D Monochromatic Image

This paper reports a method for automatically constructing a relational model of a rigid 3D object, to represent view-independent relations among its component parts, and of using such a model to recognise the...

S. Zhang, G. D. Sullivan, K. D. Baker in BMVC91 (1991)

Chapter and Conference Paper

Theoretical framework for analysing the behaviour of real and simulated neural networks

We outline the theory of synchronous concurrent algorithms, as it may be applied to models of neurobiological networks; and illustrate its application by an example of the behaviour of a neural network model (...

A. V. Holden, J. V. Tucker, B. C. Thompson, D. Withington… in Neural Network Dynamics (1992)

Chapter and Conference Paper

FRI: Failure-resistant induction in RRL

We have described briefly a proof manager called FRI, which supports the cover set induction method of RRL. We believe that FRI makes the cover set method more powerful and applicable to a wider class of equation...

**n Hua, Hantao Zhang in Automated Deduction—CADE-11 (1992)

Chapter and Conference Paper

On Local Matching of Free-Form Curves

Geometric matching in general is a difficult unsolved problem in computer vision. Fortunately, in many practical applications, some a priori knowledge exists which considerably simplifies the problem. In visua...

Zhengyou Zhang in BMVC92 (1992)

Chapter and Conference Paper

Herky: High performance rewriting in RRL

Hantao Zhang in Automated Deduction—CADE-11 (1992)