Results 151 to 159 of about 911,242 (159)
Some of the next articles are maybe not open access.
Test Automation - Automation of What?
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2018Taking a birds-eye view at the different activities that take place when someone engages in software testing, we discuss automation problems and some deployed solutions to the broad notion of software test automation. In doing so, we discover engineering/deployment problems as well as more fundamental scientific/research issues.
openaire +2 more sources
Documenta Ophthalmologica, 1976
Automation of perimetry is quite feasible in normal subjects (3.6 % failures). It is equally feasible in patients with visual field defects not over 60 years of age (0 % failures). Automated examination ends in failure in 30 % of the patients in the older age groups seen in our clinic.
E. L. Greve +2 more
openaire +3 more sources
Automation of perimetry is quite feasible in normal subjects (3.6 % failures). It is equally feasible in patients with visual field defects not over 60 years of age (0 % failures). Automated examination ends in failure in 30 % of the patients in the older age groups seen in our clinic.
E. L. Greve +2 more
openaire +3 more sources
Albrecht von Graefes Archiv für Klinische und Experimentelle Ophthalmologie, 1972
A method enabling a fully automated computer analysis of the visual field is described. Starting from the most probable assumptions about the sensitivity distribution within the visual field, this distribution is approximated in 4 steps. Decisions are based on probability theory.
A Roulier, P Koch, Franz Fankhauser
openaire +2 more sources
A method enabling a fully automated computer analysis of the visual field is described. Starting from the most probable assumptions about the sensitivity distribution within the visual field, this distribution is approximated in 4 steps. Decisions are based on probability theory.
A Roulier, P Koch, Franz Fankhauser
openaire +2 more sources
Automating Automated Reasoning
2019The vision of automated support for the investigation of logics, proposed decades ago, has been implemented in many forms, producing numerous tools that analyze various logical properties (e.g., cut-elimination, semantics, and more). However, full ‘automation of automated reasoning’ in the sense of automatic generation of efficient provers has remained
Zohar, Yoni +3 more
openaire +3 more sources
Intelligenza Artificiale, 2013
Knowledge representation and automated reasoning are two of the pillars of Artificial Intelligence but, differently from other pillars, they are strictly intertwined. Depending on how knowledge is represented, different types of reasoning can be applied and, on the other hand, new developments in the automated reasoning column fosters new ideas on the ...
GAVANELLI, Marco, Toni Mancini
openaire +2 more sources
Knowledge representation and automated reasoning are two of the pillars of Artificial Intelligence but, differently from other pillars, they are strictly intertwined. Depending on how knowledge is represented, different types of reasoning can be applied and, on the other hand, new developments in the automated reasoning column fosters new ideas on the ...
GAVANELLI, Marco, Toni Mancini
openaire +2 more sources
Science, 1998
Techwire Using the URL at the end of this item, readers can immediately offer feedback and suggestions on this topic. There is a powerful force sweeping through much of biological science: Automation[[HN1][1]].
Richard Peters, Robert Sikorski
openaire +3 more sources
Techwire Using the URL at the end of this item, readers can immediately offer feedback and suggestions on this topic. There is a powerful force sweeping through much of biological science: Automation[[HN1][1]].
Richard Peters, Robert Sikorski
openaire +3 more sources
2015
International audience; In order to enable a better understanding of the key concepts of automation, this book develops the fundamental aspects of the field while also proposing numerous concrete exercises and their solutions. The theoretical approach that it presents fundamentally uses the state space and makes it possible to process general and ...
openaire +4 more sources
International audience; In order to enable a better understanding of the key concepts of automation, this book develops the fundamental aspects of the field while also proposing numerous concrete exercises and their solutions. The theoretical approach that it presents fundamentally uses the state space and makes it possible to process general and ...
openaire +4 more sources
1993
In this rapidly expanding field I will restrict my comments to those instruments dedicated to the pre-screening of cervical cancer cell samples. Where other initiatives for quantitiative cell analyses do impinge on the subject, some mention is made in passing.
openaire +3 more sources
In this rapidly expanding field I will restrict my comments to those instruments dedicated to the pre-screening of cervical cancer cell samples. Where other initiatives for quantitiative cell analyses do impinge on the subject, some mention is made in passing.
openaire +3 more sources