Sciweavers

1228 search results - page 55 / 246
» Continuations, proofs and tests
Sort
View
UAI
2001
13 years 9 months ago
Instrumentality Tests Revisited
An instrument is a random variable that is uncorrelated with certain (unobserved) error terms and, thus, allows the identification of structural parameters in linear models. In no...
Blai Bonet
PPSN
2010
Springer
13 years 6 months ago
Testing the Dinosaur Hypothesis under Empirical Datasets
In this paper we present the Dinosaur Hypothesis, which states that the behaviour of a market never settles down and that the population of predictors continually co-evolves with t...
Michael Kampouridis, Shu-Heng Chen, Edward P. K. T...
ETS
2011
IEEE
230views Hardware» more  ETS 2011»
12 years 7 months ago
Dynamic Test Set Selection Using Implication-Based On-Chip Diagnosis
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
Nuno Alves, Y. Shi, N. Imbriglia, Jennifer Dworak,...
ISSRE
2002
IEEE
14 years 28 days ago
Saturation Effects in Testing of Formal Models
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
Tim Menzies, David Owen, Bojan Cukic
ISWC
2005
IEEE
14 years 1 months ago
Recognizing Mimicked Autistic Self-Stimulatory Behaviors Using HMMs
Children with autism often exhibit self-stimulatory (or “stimming”) behaviors. We present an on-body sensing system for continuous recognition of stimming activity. By creatin...
Tracy L. Westeyn, Kristin Vadas, Xuehai Bian, Thad...