Results 151 to 160 of about 8,276 (199)
Some of the next articles are maybe not open access.
Communications of the ACM, 1967
Examples of algorithms that will accomplish automatic storage reservation without the need for explicit array declarations are described.
Melvin Klerer, Jack May
openaire +2 more sources
Examples of algorithms that will accomplish automatic storage reservation without the need for explicit array declarations are described.
Melvin Klerer, Jack May
openaire +2 more sources
Biorheology, 1977
A sedimentation recorder including an optical tracking head controlled to track the liquid-solid separation boundary in a tube containing a sample of liquid-solid mixture is described. The tracking head is controlled by a pulse operated servomotor which responds to the output of a photodetector mounted in the tracking head.
E, Misiaszek +3 more
openaire +2 more sources
A sedimentation recorder including an optical tracking head controlled to track the liquid-solid separation boundary in a tube containing a sample of liquid-solid mixture is described. The tracking head is controlled by a pulse operated servomotor which responds to the output of a photodetector mounted in the tracking head.
E, Misiaszek +3 more
openaire +2 more sources
2009
We give an overview of applications of weighted finite automata to automatically prove termination of rewriting. Instances of this approach are: standard and arctic matrix interpretations, and the match bound technique. These methods have been developed in recent years, and they are being used by today's leading automated termination prover software.
openaire +2 more sources
We give an overview of applications of weighted finite automata to automatically prove termination of rewriting. Instances of this approach are: standard and arctic matrix interpretations, and the match bound technique. These methods have been developed in recent years, and they are being used by today's leading automated termination prover software.
openaire +2 more sources
The American Journal of Cardiology, 2000
The automated measurement of the main electrical parameters of pacemakers, such as battery voltage, current drain, pacing impedance, sensing levels, and pacing thresholds enables a continuous monitoring of the adequate functioning of the implanted device.
J, Neuzner, T, Schwarz, J, Sperzel
openaire +2 more sources
The automated measurement of the main electrical parameters of pacemakers, such as battery voltage, current drain, pacing impedance, sensing levels, and pacing thresholds enables a continuous monitoring of the adequate functioning of the implanted device.
J, Neuzner, T, Schwarz, J, Sperzel
openaire +2 more sources
Proceedings of the ACM 1980 annual conference on - ACM 80, 1980
In information retrieval and text processing systems the search requests and stored information items are normally represented by sets of content identifiers, known as keywords or index terms. The choice of effective indexing products designed accurately to reflect document content is by far the most crucial task in retrieval.
openaire +2 more sources
In information retrieval and text processing systems the search requests and stored information items are normally represented by sets of content identifiers, known as keywords or index terms. The choice of effective indexing products designed accurately to reflect document content is by far the most crucial task in retrieval.
openaire +2 more sources
The automaticity of interpreting Automaticity.
American Psychologist, 2000A F, Smith, B D, Slife
openaire +2 more sources
Automatic Programming for Automatic Computers
Journal of the American Statistical Association, 1959Anyone who attempts to process data or perform computations with an automatic digital computer encounters the obstacle of preparing a detailed program in computer code and checking this program out on the computer. Automatic programming techniques help reduce the magnitude and cost of this task.
openaire +1 more source