Sciweavers

3779 search results - page 79 / 756
» Linear Consistency Testing
Sort
View
JELIA
2010
Springer
14 years 8 months ago
A Normal Form for Linear Temporal Equilibrium Logic
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
Pedro Cabalar
JMLR
2010
166views more  JMLR 2010»
14 years 4 months ago
Pairwise Measures of Causal Direction in Linear Non-Gaussian Acyclic Models
We present new measures of the causal direction between two non-gaussian random variables. They are based on the likelihood ratio under the linear non-gaussian acyclic model (LiNG...
Aapo Hyvärinen
ICST
2008
IEEE
15 years 4 months ago
Automated Session Data Repair for Web Application Regression Testing
This paper introduces an approach to web application regression testing, based upon repair of user session data. The approach is entirely automated. It consists of a white box exa...
Mark Harman, Nadia Alshahwan
SIGPRO
2002
75views more  SIGPRO 2002»
14 years 9 months ago
Statistical detection of defects in radiographic images in nondestructive testing
In this paper, we investigate applicability of statistical techniques for defect detection in radiographic images of welds. The defect detection procedure consists in a statistica...
Ivan G. Kazantsev, Ignace Lemahieu, G. I. Salov, R...
IAAI
1993
14 years 11 months ago
Dodger, a Diagnostic Expert System for the Evaluation of Nondestructive Test Data
Identification and characterization of indications in eddy current (ET) signals can be highly subjective in nature, with varying diagnoses made by different analysts or by a singl...
Arthur J. Levy, Jane E. Oppenlander, David M. Brud...