Publication How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor Leslie Lamport IEEE Transactions on Computers SRC Research Report 96 | February 1993, Vol 46(7): pp. 779-782
Publication Best First Minimax Search: First Results Richard Korf, Max Chickering In Proceedings of the AAAI Fall Symposium on Games: Planning and Learning | January 1993
Publication Curvature-driven smoothing: a learning algorithm for feedforward networks Christopher Bishop IEEE Transactions on Neural Networks | January 1993, Vol 4: pp. 882-884
Publication Formal Parametric Polymorphism Martin Abadi, Luca Cardelli, Pierre-Louis Curien January 1993, pp. 157-170 Conf. Record 20th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL'93, Charleston, SC
Publication Alignment by maximisation of mutual information Paul A. Viola AI-TR-1548 | January 1993 Proceedings of the 2000 Haskell Workshop, Montreal
Publication Real time correlation-based stereo: algorithm, implementations and applications Olivier Faugeras, Bernard Hotz, Hervé Mathieu, Thierry Viéville, Zhengyou Zhang, Pascal Fua, Eric Théron, Laurent Moll, Gérard Berry, Jean Vuillemin, Patrice Bertin, Catherine Proy | January 1993 Principles of Programming Languages (POPL)
Publication Knapsack Auctions Gagan Aggarwal, Jason D. Hartline ACM/SIAM Symposium on Discrete Algorithms (SODA) | January 1993 Project
Publication Fast Exponentiation with Precomputation: Algorithms and Lower Bounds David Wilson, Daniel M. Gordon, Ernest F. Brickell, Kevin S. McCurley January 1993
Publication Cycletrees: a Novel Class of Interconnection Graphs Margus Veanes January 1993 January 1993