论文与出版物 Context-Aware Time Series Anomaly Detection for Complex Systems Manish Gupta, Abhishek Singh Proc. of the SDM Workshop on Data Mining for Service and Maintenance | January 2013
论文与出版物 Model-Based Margin Estimation for Hidden Markov Model Learning and Generalization Sabato Marco Siniscalchi, Jinyu Li, Chin-Hui Lee IET Signal Processing | January 2013
论文与出版物 Equivalence of Extended Symbolic Finite Transducers Loris D'Antoni, Margus Veanes, MSR-TR-2013-4 | January 2013
论文与出版物 Static Analysis of String Encoders and Decoders Margus Veanes, Loris D'Antoni VMCAI 2013 | January 2013
论文与出版物 Fully Abstract Compilation to JavaScript Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Ben Livshits ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 | January 2013 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2013 项目
论文与出版物 Probabilistic Inference Using Program Analysis Andy Gordon, Aditya Nori, Sriram Rajamani January 2013 项目
论文与出版物 Loop summarization using state and transition invariants Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger Formal Methods in System Design | January 2013, 第 42 卷: pp. 221-261
论文与出版物 Better termination proving through cooperation Marc Brockschmidt, Byron Cook, Carsten Fuhs CAV | January 2013