Conference paperConstraint-based random stimuli generation for hardware verificationYehuda Naveli, Michal Rimon, et al.AAAI/IAAI 2006
Conference paperOne-Class Conditional Random Fields for sequential anomaly detectionYale Song, Zhen Wen, et al.IJCAI 2013
Conference paperThe bionic DBMS is coming, but what will it look like?Ryan Johnson, Ippokratis PandisCIDR 2013