MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...
This paper presents recent work using the CHILL parser acquisition system to automate the construction of a natural-language interface for database queries. CHILL treats parser acquisition as the ...
Automatic Programming is defined as the synthesis of a program from a specification. If automatic programming is to be useful, the specification must be smaller and easier to write than the program ...
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 ...
The full paper can be found here. This page provides details on the optimization of walk parameters for an omnidirectional walk engine which was the key component in UT Austin Villa winning the 2011 ...
I am currently conducting fundamental research in the area of distributed real-time systems. My primary concerns include specification techniques for real-time systems, algorithms for guaranteeing ...
We are located on the 6th floor of the new Bill & Melinda Gates Computer Science Complex and Dell Computer Science Hall (GDC) and are made up of six faculty and over twenty graduate and undergraduate ...
When emailing us, 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 and activity ...
Value Parameters: An example that shows the behavior of value parameters. In Java all parameters are passed by value. String Example. A few brief examples of String manipulations. BinaryConverter. A ...
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 ...