3801 search results - page 633 / 761 » An Approach to Modeling Software Safety |
SDM
2008
SIAM
14 years 11 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...
DAGSTUHL
2006
14 years 11 months ago
2006
Abstract. Aspect-orientation provides support for " Separation of Concerns" by means of techniques that first isolate and then weave concerns. Most work in aspect-orienta...
WSC
2001
14 years 11 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Phonotactic language recognizers are based on the ability of phone decoders to produce phone sequences containing acoustic, phonetic and phonological information, which is partial...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...