Results 31 to 40 of about 5,732,657 (181)
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. [PDF]
In the debate over the assessment of software reliability (or safety), as applied to critical software, two extreme positions can be discerned: the ‘statistical’ position, which requires that the claims of reliability be supported by statistical ...
Bertolino, A., Strigini, L.
core +1 more source
Although measures such as sensitivity and specificity are used in the study of diagnostic test accuracy, these are not appropriate for integrating heterogeneous studies.
Johny J. Pambabay-Calero +4 more
doaj +1 more source
A deep action-oriented video image classification system for text detection and recognition
For the video images with complex actions, achieving accurate text detection and recognition results is very challenging. This paper presents a hybrid model for classification of action-oriented video images which reduces the complexity of the problem to
Abhra Chaudhuri +6 more
doaj +1 more source
Capturing Data Provenance from Statistical Software
We have created tools that automate one of the most burdensome aspects of documenting the provenance of research data: describing data transformations performed by statistical software.
George Charles Alter +12 more
doaj +1 more source
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking [PDF]
We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects.
Lafuente, Alberto Lluch +3 more
core +3 more sources
Small software companies face numerous challenges of complexity, unstructured software development processes and scarce resources. This notwithstanding, the companies have dominated the software market by 80 percent.
Micheal Tuape +4 more
doaj +1 more source
Software engineering research is evolving and papers are increasingly based on empirical data from a multitude of sources, using statistical tests to determine if and to what degree empirical evidence supports their hypotheses.
Feldt, Robert +5 more
core +1 more source
ROOT Statistical Software [PDF]
Advanced mathematical and statistical computational methods are required by the LHC experiments for analyzing their data. Some of these methods are provided by the ROOT project, a C++ Object Oriented framework for large scale data handling applications ...
Antchevam, I +3 more
core +1 more source
Development of an R script for simple lipidomic and metabolomic data analysis [PDF]
Background: Metabolomic and lipidomic studies generate vast quantities of data that are often analysed in a closed software environment with little to no access to the underlying algorithms.
Alshammari, Suad +4 more
core +1 more source
Fine-grained timing using genetic programming [PDF]
In previous work, we have demonstrated that it is possible to use Genetic Programming to minimise the resource consumption of software, such as its power consumption or execution time. In this paper, we investigate the extent to which Genetic Programming
A.F. Webster +4 more
core +1 more source

