Results 231 to 240 of about 4,185 (251)

The Oracle Problem for Testing against Quantified Properties

Seventh International Conference on Quality Software (QSIC 2007), 2007
The oracle problem for testing from quantified properties is discussed and illustrated by proposed solutions for first-order logic and computation tree logic (CTL) properties. Unless constraints are placed, it is not always possible to generate feasible test suites from which accurate conclusions on their execution results can be reached regarding ...
Patrícia D. L. Machado, Wilkerson de L. Andrade   +1 more
openaire   +2 more sources

Oracle properties of the adaptive elastic net

2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, 2010
This paper proposes an adaptive elastic net for sparse high-dimension regression by incorporating the adaptive penalty mechanism into the elastic net. Under a partial orthogonality condition, the initial univariate regression estimator is shown to be zero-consistent, based on which the consistent variable selection and the asymptotic estimation ...
Juntao Li, Xuemei Dong, Xinlei Li, Wenlin Li   +3 more
openaire   +1 more source

Oracles for checking temporal properties of concurrent systems

ACM SIGSOFT Software Engineering Notes, 1994
Verifying that test executions are correct is a crucial step in the testing process. Unfortunately, it can be a very arduous and error-prone step, especially when testing a concurrent system. System developers can therefore benefit from oracles automating the verification of test executions.This paper examines the use of Graphical Interval Logic (GIL ...
Laura K. Dillon, Qing Yu
openaire   +1 more source

Revisiting UsedSoft v. Oracle: Is Software Property and Can It Be Sold?

Computer Law Review International, 2017
exaly   +2 more sources

Property networks allowing oracle-based mode-change propagation in hierarchical components

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, 2012
Strong pressure on deployment of embedded control systems on a low-cost hardware leads to the need of optimizing software architectures to minimize resource demands. Nevertheless, releasing the resources not needed in specific phases of system execution is only rarely supported by todays component frameworks, mainly since information about the system ...
Tomás Pop, Frantisek Plásil, Matej Outly, Michal Malohlava, Tomás Bures   +4 more
openaire   +2 more sources

Weighted fusion penalties for tree inference and its oracle properties

2014
Weighted fusion penalties for tree inference and its oracle properties.
Chiquet, Julien, Gutierrez, Pierre, Rigaill, Guillem   +2 more
openaire   +1 more source

On the strong oracle property of concave penalized estimators with infinite penalty derivative at the origin

Journal of the Korean Statistical Society, 2020
Sangin Lee, Dongshin Kim, Sunghoon Kwon   +2 more
exaly  

On the Oracle Property of the Adaptive LASSO in Stationary and Nonstationary Autoregressions

2012
We show that the Adaptive LASSO is oracle efficient in stationary and non-stationary autoregressions. This means that it estimates parameters consistently, selects the correct sparsity pattern, and estimates the coefficients belonging to the relevant variables at the same asymptotic efficiency as if only these had been included in the model from the ...
openaire   +1 more source

A Necessary Condition for the Strong Oracle Property

Scandinavian Journal of Statistics, 2016
Jong-June Jeon, Yongdai Kim
exaly  

Enhanced Data Locking to Serve ACID Transaction Properties in the Oracle Database

2023 34th Conference of Open Innovations Association (FRUCT), 2023
openaire   +2 more sources