中文
相关论文

相关论文: About one 3-parameter Model of Testing

200 篇论文

Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually…

软件工程 · 计算机科学 2015-03-19 Dirk Beyer , Thomas A. Henzinger , M. Erkan Keremoglu , Philipp Wendler

This paper introduces a novel multi-stage decision-making model that integrates hypothesis testing and dynamic programming algorithms to address complex decision-making scenarios.Initially,we develop a sampling inspection scheme that…

系统与控制 · 电气工程与系统科学 2025-03-11 Ziyang Liu , Yurui Hu , Yihan Deng

The educability model is a computational model that has been recently proposed to describe the cognitive capability that makes humans unique among existing biological species on Earth in being able to create advanced civilizations.…

人工智能 · 计算机科学 2024-12-13 Leslie G. Valiant

Part of the theoretical motivation for improving the present level of testing of the equivalence principle is reviewed. The general rationale for optimizing the choice of pairs of materials to be tested is presented. One introduces a…

广义相对论与量子宇宙学 · 物理学 2010-04-06 Thibault Damour

Estimation problems in the presence of deterministic linear nuisance parameters arise in a variety of fields. To cope with those, three common methods are widely considered: (1) jointly estimating the parameters of interest and the nuisance…

最优化与控制 · 数学 2018-07-05 Yongchang Hu , Geert Leus

Performance metrics (error measures) are vital components of the evaluation frameworks in various fields. The intention of this study was to overview of a variety of performance metrics and approaches to their classification. The main goal…

统计方法学 · 统计学 2019-01-29 Alexei Botchkarev

A methodology that seeks to enhance model prediction performance is presented. The method involves generating multiple auxiliary models that capture relationships between attributes as a function of each other. Such information serves to…

机器学习 · 计算机科学 2024-02-06 Francisco Javier Lobo-Cabrera

In this paper we apply a two-stage sequential design to item calibration problems under a three-parameter logistic model assumption. The measurement errors of the estimates of the latent trait levels of examinees are considered in our…

应用统计 · 统计学 2013-05-23 Yuan-chin Ivan Chang

Analyzed models of learning, which take into account that: 1) the rate of increase of student's knowledge is proportional to the difference between levels of teacher's requirements and prior knowledge; 2) if the requirements are too high,…

其他计算机科学 · 计算机科学 2013-12-10 R. V. Mayer

The problem of assessing the value of a candidate is viewed here as a multiple combination problem. On the one hand a candidate can be evaluated according to different criteria, and on the other hand several experts are supposed to assess…

人工智能 · 计算机科学 2013-01-30 Didier Dubois , Michel Grabisch , Henri Prade , Philippe Smets

Hypothesis testing in the linear regression model is a fundamental statistical problem. We consider linear regression in the high-dimensional regime where the number of parameters exceeds the number of samples ($p> n$). In order to make…

统计理论 · 数学 2019-09-24 Adel Javanmard , Jason D. Lee

Positive predictive value and negative predictive value are two widely used parameters to assess the clinical usefulness of a medical diagnostic test. When there are two diagnostic tests, it is recommendable to make a comparative assessment…

统计方法学 · 统计学 2024-05-29 Antonio Martín Andrés , Pedro Femia Marzo

The ability to develop or evolve software or software-based systems/services with defined and guaranteed quality in a predictable way is becoming increasingly important. Essential - though not exclusive - prerequisites for this are the…

The article describes the main problems concerned with using expert assessment method in consumer preference researches. The author proved the expediency of using a 3-point measurement scale. The author suggested an algorithm for…

其他计算机科学 · 计算机科学 2009-06-05 Vasiliy Saiko

A comprehensive class of models is proposed that can be used for continuous, binary, ordered categorical and count type responses. The difficulty of items is described by difficulty functions, which replace the item difficulty parameters…

统计方法学 · 统计学 2021-06-25 Gerhard Tutz

One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted by universities. However, the implementation and maintenance of such a…

计算机与社会 · 计算机科学 2016-08-14 Margit Antal , Levente Erős , Attila Imre

The methods for parameter estimation under assumption of agreement between observation and model are reviewed. The distribution parameters are obtained for one set of experimental data by using different estimation methods under assumption…

统计方法学 · 统计学 2009-07-17 Lorentz Jantschi

A personalized learning system needs a large pool of items for learners to solve. When working with a large pool of items, it is useful to measure the similarity of items. We outline a general approach to measuring the similarity of items…

计算机与社会 · 计算机科学 2018-06-11 Radek Pelánek , Tomáš Effenberger , Matěj Vaněk , Vojtěch Sassmann , Dominik Gmiterko

The empirical likelihood is a powerful nonparametric tool, that emulates its parametric counterpart -- the parametric likelihood -- preserving many of its large-sample properties. This article tackles the problem of assessing the…

统计方法学 · 统计学 2023-05-29 Duc-Khanh To , Gianfranco Adimari , Monica Chiogna

A two-parameter model of word length measured by the number of syllables comprising it is proposed. The first parameter is dependent on language type, the second one - on text genre and reflects the degree of completion of synergetic…

计算与语言 · 计算机科学 2007-05-23 Victor Kromer