论文与出版物 Reasoning about Cryptographic Protocols in the Spi Calculus Martin Abadi, Andy Gordon CONCUR '97: Concurrency Theory: Lecture Notes in Computer Science | July 1997 ISBN: 978-3-540-63141-5 (Print) 978-3-540-69188-4 (Online)
论文与出版物 A Structured Language Model Ciprian Chelba Proc. of the European Association for Computational Linguistics | July 1997
论文与出版物 An Architecture for Inter-Domain Troubleshooting (extended version) Dave Thaler, Chinya V. Ravishankar CSE-TR-344-97 | July 1997 University of Washington Computer Science & Engineering Technical Report
论文与出版物 Monadic Simultaneous Rigid E-Unification and Related Problems Yuri Gurevich, Andrei Voronkov 24th Intern. Colloquium on Automata, Languages and Programming ICALP'97, Bologna, Italy. Springer Lecture Notes in Computer Science. | July 1997
论文与出版物 Implicit typing `a la ML for the join-calculus Cédric Fournet, Cosimo Laneve, Luc Maranget Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science | July 1997
论文与出版物 The average number of modular factors in Trager’s polynomial factorization algorithm Mark Encarnación ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation | June 1997
论文与出版物 Temporal Classification of Natural Gesture and Application to Video Coding Andrew D. Wilson, Aaron F. Bobick, Justine Cassel Computer Vision and Pattern Recognition, 1997. Proceedings., 1997 IEEE Computer Society Conference on | June 1997
论文与出版物 Using chromaticity distributions and eigenspace analysis for pose-, illumination-, and specularity-invariant recognition of 3D objects Stephen Lin, Sang W. Lee Computer Vision and Pattern Recognition (CVPR) | June 1997
论文与出版物 Self-Maintaining Camera Calibration Over Time Zhengyou Zhang, Veit Schenk IEEE Conference on Computer Vision and Pattern Recognition, Puerto Rico | June 1997