Publication Decidability and Complexity of Simultaneous Rigid E-Unification with One Variable and Related Results Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov Theoretical Computer Science | August 2000, Vol 243(1-2): pp. 167-184
Publication An Asynchronous, Distributed Implementation of Mobile Ambients Cédric Fournet, Jean-Jacques Levy, Alan Schmitt Proceedings of IFIP TCS 2000, LNCS 1872 | August 2000
Publication Shape Adaptive Discrete Wavelet Transforms for Arbitrarily Shaped Visual Object Coding Shipeng Li, Weiping Li August 2000
Publication Using a Broad-Coverage Parser for Word-Breaking in Japanese Hisami Suzuki, Chris Brockett August 2000
Publication The Automated Acquisition of Topic Signatures for Text Summarization Chin-Yew Lin, Eduard Hovy 18th International Conference on Computational Linguistics (COLING'00) | July 2000
Publication Social Choice Theory and Recommender Systems: Analysis of the Axiomatic Foundations of Collaborative Filtering David M. Pennock, Eric Horvitz, C. Lee Giles AAAI-00 Proceedings | July 2000 ISBN: 0-262-51112-6
Publication Microsoft Sees Software ‘Agent’ as Way to Avoid Distractions Eric Horvitz New York Times, On the Web (Technology) | July 2000