22,540 Result(s)
-
Chapter
A Fast Serial and Parallel Thinning Algorithm
A fast serial and parallel algorithm for thinning digital patterns is presented. The processing speed is faster than the algorithms in the literature [3],[4],[9],[12] in that it reads pixels along the edge of ...
-
Chapter and Conference Paper
RRL: A rewrite rule laboratory
-
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...
-
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...
-
Chapter
Characteristics of QP-C and Reconstitution of the QH2-CYT C Reductase
Although the essential role of Q in electron transport has been generally accepted as respiratory or redox (electron or hydrogen) carrier (1–3), the reaction mechanism and the sequence of the reaction in the r...
-
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 ...
-
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...
-
Chapter and Conference Paper
An overview of Rewrite Rule Laboratory (RRL)
-
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...
-
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...
-
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...
-
Chapter
Network Analysis of an Optically Implemented Connectionist Architecture
We investigate the system error tolerance of optical connectionist architectures, which utilize liquid crystal spatial light modulators to represent neurons and weights in a neural network configuration. Exper...
-
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...
-
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 ...
-
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 ...
-
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...
-
Chapter
Solving the Motion Tracking Problem: A Framework
Up to now, we have been interested in the two-view motion analysis. We have used more feature correspondences between two frames than the minimum in order to obtain robust solutions (see Chap. 5). An alternati...
-
Chapter
Representations of Geometric Objects
We study in this chapter the representations of the geometric objects which we encounter in the application of 3D vision and robotics. The geometric objects of interest here include rigid motion and line segme...
-
Chapter
Obstacle Avoidance and Trajectory Planning for an Indoor Mobile Robot Using Stereo Vision and Delaunay Triangulation
This article describes the work at INRIA on obstacle avoidance and trajectory planning for a mobile robot using stereo vision. Our mobile robot is equipped with a trinocular vision system that is being put int...
-
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 (...
