6885 search results - page 80 / 1377 » The micro-structure of use of help |
ENTCS
2000
13 years 10 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
ENTCS
2002
13 years 10 months ago
2002
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...
IJON
2002
13 years 9 months ago
2002
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 ...
NN
1998
Springer
13 years 9 months ago
1998
Springer
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 ...
OIR
2002
13 years 9 months ago
2002
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 ...