A novel nonlinear scale space framework is proposed for the purpose of multiscale image representation. The scale space decomposition problem is formulated as a general Bayesian l...
Akshaya Kumar Mishra, Alexander Wong, David A. Cla...
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...
Orthogonal arrays (OA’s) are widely used in design of experiments. Each OA has a specific number of rows that is fixed by the number of factors in the OA and the number of leve...
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
This work presents a mesh refinement indicator based on entropy variables, with an application to the compressible Navier-Stokes equations. The entropy variables are shown to sati...