Course web page: http://www.cs.utexas.edu/~ecprice/courses/randomized/fa23/ ...

The original query language is basically a first-order logical form augmented with some higher-order predicates or meta-predicates, for handling issues such as quantification over implicit sets. It ...

See defun for relevant background. You may find it helpful to use a lexicographic order, the idea being to have a measure that returns a list of two arguments, where the first takes priority over the ...

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

Our CS honors courses typically have a limited number of spaces available for non-Turing Scholars. Any strong student is welcome to apply for enrollment. You may fill out a request for each CS honors ...

Programming Contests at UT is a chapter of the ICPC: International Collegiate Programming Contest. The International Collegiate Programming Contest is an algorithmic programming contest for college ...

Software verification projects, tools, etc.

In IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), February 2025. We introduce RealSync, a novel dataset designed to significantly enhance the training and evaluation of models ...

1 Why Am I Taking This Course?

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

Instructional Mode: Face-to-face Help Sessions: Th 4:30 pm, F 3 pm, GDC basement Prerequisite: Computer Science 311 or 311H with a grade of at least C-; and registration or credit in Computer Science ...