An abstract interpretation framework for termination
- 期刊名称ACM SIGPLAN Notices
- 作者Cousot, Patrick; Cousot, Radhia
- 卷第47卷
- 期第1期
- 印刷ISSN0362-1340
- 文件大小1978.18KB
- 发表时间2012-01-18
- DOI10.1145/2103621.2103687
Interface '99Goodman, Arnold · ACM SIGKDD Explorations Newsletter · 2000
Mining big dataFan, Wei; Bifet, Albert · ACM SIGKDD Explorations Newsletter · 2013
Support vector machinesBennett, Kristin P.; Campbell, Colin · ACM SIGKDD Explorations Newsletter · 2000
Why so many clustering algorithmsEstivill-Castro, Vladimir · ACM SIGKDD Explorations Newsletter · 2002
Minority report in fraud detectionPhua, Clifton; Alahakoon, Damminda; Lee, Vincent · ACM SIGKDD Explorations Newsletter · 2004
Correlation clusteringZimek, Arthur · ACM SIGKDD Explorations Newsletter · 2009
"In vivo" spam filteringFawcett, Tom · ACM SIGKDD Explorations Newsletter · 2003
Web usage miningSrivastava, Jaideep; Cooley, Robert; Deshpande, Mukund; Tan, Pang-Ning · ACM SIGKDD Explorations Newsletter · 2000