1722 search results - page 226 / 345 » Generating Tests from Counterexamples |
CHI
2011
ACM
13 years 22 days ago
2011
ACM
Patients’ basic understanding of clinical events has been shown to dramatically improve patient care. We propose that the automatic generation of very short microexplanations, s...
DCOSS
2011
Springer
12 years 9 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
We propose a new method for detecting patterns of anomalies in categorical datasets. We assume that anomalies are generated by some underlying process which affects only a particu...
COLT
1995
Springer
14 years 21 days ago
1995
Springer
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...
TCBB
2008
13 years 9 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...