Results 151 to 160 of about 2,636 (195)
Some of the next articles are maybe not open access.
J. Autom. Lang. Comb., 2000
Automaticity is a measure of descriptional complexity for formal languages $L$, and measures how closely $L$ can be approximated by regular languages. I survey some of the known results and open problems on automaticity. I also discuss a measure which I call "rationality", and explain how it generalizes the well-known concept of linear complexity.
openaire +2 more sources
Automaticity is a measure of descriptional complexity for formal languages $L$, and measures how closely $L$ can be approximated by regular languages. I survey some of the known results and open problems on automaticity. I also discuss a measure which I call "rationality", and explain how it generalizes the well-known concept of linear complexity.
openaire +2 more sources
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 +1 more source
Examples of algorithms that will accomplish automatic storage reservation without the need for explicit array declarations are described.
Melvin Klerer, Jack May
openaire +1 more source
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 +1 more source
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 +1 more source
Automatization of nanotomography
Review of Scientific Instruments, 2007An approach for automated nanotomography, a layer-by-layer imaging technique based on scanning probe microscopy (SPM), is presented. Stepwise etching and imaging is done in situ in a liquid cell of an SPM. The flow of etching and rinsing solutions after each etching step is controlled with solenoid valves which allow for an automated measuring protocol.
C, Dietz +5 more
openaire +2 more sources
Nursing Standard, 1991
I am writing to dispel the apparent nursing myth that it is a foregone conclusion that SENs automatically pass their conversion courses.
openaire +2 more sources
I am writing to dispel the apparent nursing myth that it is a foregone conclusion that SENs automatically pass their conversion courses.
openaire +2 more sources
Synthese, 2015
It is not rare in philosophy and psychology to see theorists fall into dichotomous thinking about mental phenomena. On one side of the dichotomy there are processes that I will label “unintelligent.” These processes are thought to be unconscious, implicit, automatic, unintentional, involuntary, procedural, and non-cognitive.
openaire +2 more sources
It is not rare in philosophy and psychology to see theorists fall into dichotomous thinking about mental phenomena. On one side of the dichotomy there are processes that I will label “unintelligent.” These processes are thought to be unconscious, implicit, automatic, unintentional, involuntary, procedural, and non-cognitive.
openaire +2 more sources
The automaticity of interpreting Automaticity.
American Psychologist, 2000A F, Smith, B D, Slife
openaire +2 more sources
The American Journal of Forensic Medicine and Pathology, 1984
The historic development and validity of drug automatism are discussed. Original articles and other publications supporting the concept do not present authenticated cases to validate the concept; therefore, it remains unproved.
openaire +2 more sources
The historic development and validity of drug automatism are discussed. Original articles and other publications supporting the concept do not present authenticated cases to validate the concept; therefore, it remains unproved.
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 +1 more source
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 +1 more source