3082 search results - page 194 / 617 » Deviation Analysis: A New Use of Model Checking |
179
click to vote
SDM
2008
SIAM
15 years 7 months ago
2008
SIAM
In this paper, we propose a new approach to anomaly detection by looking at the latent variable space to make the first step toward latent anomaly detection. Most conventional app...
199
click to vote
CCE
2011
15 years 1 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
208
click to vote
SRDS
2008
IEEE
16 years 25 days ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
155
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
171
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...