Obtain a Common Lisp implementation if you don't already have one. (Note: Some of the ACL2 community books depend on quicklisp, and those are only guaranteed to work with CCL or SBCL.) Type: ...

Computer ethics as a field of study was founded by MIT professor Norbert Wiener during World War Two (early 1940s) while helping to develop an antiaircraft cannon capable of shooting down fast ...

For a complete installation of Gnu Common Lisp get gcl-2.6.1.exe (15 MB download, 60 MB to install). Unfortunately, at present this version of GCL produces a ^M (Return) character at the end of each ...

The Geoquery Demo is no longer available, but the resources below can still be downloaded. The training corpus for Geoquery system contains 880 examples of queries in natural language paired with the ...

When emailing me, please put CS395 in the subject line. Topics: This is a graduate seminar course in computer vision. We will survey and discuss current vision papers relating to object recognition, ...

Thanks to Don Slater at CMU for letting me use this page. Important. Download and install Java first per these instructions then download and install the Eclipse IDE per these instructions. Other ...

Traditional methods of collecting translation and paraphrase data can be prohibitively expensive, making construction of large, new corpora difficult. While crowdsourcing offers a cheap alternative, ...

It is a misnomer. As Edsger Dijkstra used to say "Computer Science is no more about computers than astronomy is about telescopes". Computer Science is closely related to mathematics. It is the study ...

Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...

My main research interests are program verification and constraint solving. I have worked on precise, scalable and modular analysis of unbounded data structures, such as arrays and containers. My work ...

I am a final-year PhD student in the department of Computer Science at the University of Texas at Austin, advised by Alex Dimakis. These days I mostly work on building better datasets for pretraining ...

This page shows you how to create a jar file (java archive) using the Eclipse IDE. The instructions are for bundling the source code (.java files) into a jar. These instructions do not cover how to ...