论文与出版物 A Best-First Alignment Algorithm For Automatic Extraction Of Transfer Mappings From Bilingual Corpora Arul Menezes, Stephen D. Richardson January 2001
论文与出版物 BI as an Assertion Language for Mutable Data Structures Peter O’Hearn, Samin Ishtiaq POPL | January 2001
论文与出版物 Sharp Threshold and Scaling Window for the Integer Partitioning Problem Christian Borgs, Jennifer Chayes, Boris Pittel Proceedings of the 33rd annual ACM Symposium on the Theory of Computing (STOC) | January 2001
论文与出版物 The Learning-Curve Method Applied To Clustering Chris Meek, Bo Thiesson, David Heckerman Proceedings of Eighth International Workshop on Artificial Intelligence and Statistics, ® Key West, Florida | January 2001
论文与出版物 A Note on Cryptanalysis of the Preliminary Version of the NTRU Signature Scheme Ilya Mironov January 2001 January 2001
论文与出版物 Multi-fidelity algorithms for interactive mobile applications M. Satyanarayanan, Dushyanth Narayanan Wirel. Netw. | January 2001, 第 7 卷: pp. 601-607
论文与出版物 Identifying Collocations for Recognizing Opinions Janyce M. Wiebe, Theresa Wilson, Matthew Bell Proceedings of the ACL/EACL Workshop on Collocation | January 2001
论文与出版物 Learning Bayesian Networks From Dependency Networks: A Preliminary Study Geoff Hulten, Max Chickering, David Heckerman Proceedings of the Ninth International Workshop on Artificial Intelligence and Statistics, ® Key West, FL | January 2001
论文与出版物 Inadequacy of Computable Loop Invariants Andreas Blass, Yuri Gurevich ACM Transactions on Computer Logic | January 2001
论文与出版物 Phase Transition and Finite-size Scaling for the Integer Partitioning Problem Christian Borgs, Jennifer Chayes, Boris Pittel Random Structures and Algorithms 19 | January 2001