Conference paper
Discourse segmentation in aid of document summarization
B.K. Boguraev, Mary S. Neff
HICSS 2000
Paper
An experiment in automatic verification of programs
Abstract
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?. © 1963, ACM. All rights reserved.
Related
John M. Boyer, Charles F. Wiecha
DocEng 2009
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
Yao Qi, Raja Das, et al.
ISSTA 2009