Rolf Clauberg
IBM J. Res. Dev
Paper
Limits for automatic verification of finite-state concurrent systems
Related
Conference paper
Discourse segmentation in aid of document summarization
B.K. Boguraev, Mary S. Neff
HICSS 2000
Conference paper
Automatic taxonomy generation: Issues and possibilities
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
Thomas M. Cheng
IT Professional