The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
We try to understand the basics of human image processing from a gist recognition per-7 spective. Because the gist is only a subset of the image's information, we think that ...
Abstract— This paper presents a study on exploiting the redundancy of a seven-link manipulator to evolve obstacle avoidance skill at the elbow, subjected to endeffector working ...
The importance of the Web as a new medium for disseminating and promoting scholarly research is discussed. Particular concern is given to its potential use to provide evidence of ...
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
Kay A. Robbins, Catherine Sauls Key, Keith Dickins...