Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Nanda Kambhatla
ACL 2004
Conference paper
Global routing revisited
Michael D. Moffitt
ICCAD 2009
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking