Though computers have surpassed humans at many tasks, especially computationally intensive ones, there are many tasks for which human expertise remains necessary and/or useful. For such tasks, it is ...

Current version of system Cmodels is 3.86.1. Starting version 3.81 of Cmodels, the system supports incremental answer set solving. (One may add constraints to a program on the fly.) The interface for ...

Automatic programming is the generation of programs by computer, usually based on specifications that are higher-level and easier for humans to specify than ordinary programming languages. Generation ...

Mina Huh, a computer science Ph.D. student at UT Austin, has been awarded a Google Ph.D. Fellowship, the company announced on ...

Transfer learning is a method where an agent reuses knowledge learned in a source task to improve learning on a target task. Recent work has shown that transfer learning can be extended to the idea of ...

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 ...

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 ...

Fall 2024: TTh 2:00 - 3:30, in GDC 5.302, Unique No. 50730. Instructor: Gordon S. Novak Jr., GDC 3.824; Office Hours: MTWTh 3:30 - 4:30 PM via Zoom. novak at cs dot utexas dot edu Classes will be ...

You need to have downloaded and installed BlueJ before completing the following steps. Download the java files you need from the class web site. You don't have to put ...

When you start the simulator, you should see the following window: This window is the setup screen for configuring a simulation in which all intersections are controlled by the AIM protocol. On the ...

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.