Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

Generative modeling: This is the case when π 1 is an empirically observed unknown distribution (of e.g., images), and π 0 an elementary distribution, such as the standard Gaussian distribution. We are ...

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

Research: I am particularly interested in physical simulation, particularly of thin, elastic materials like cloth, hair, and paper, as they deform and collide; geometry processing and design, using ...

SCRAM for RoboCup 3D For the RoboCup 3D simulation competition UTAustinVilla uses a SCRAM dynamic role assignment and formation positioning system in order to coordinate movement of the team. Each ...

NOTE: If you intend to obtain an incremental release (e.g. 2.9.4 as opposed to 2.9), please see the ACL2 News for instructions. Otherwise, continue reading here. A collection of books (ACL2 input ...

David Zuckerman, professor of computer science at The University of Texas at Austin, and Eshan Chattopadhyay, now an associate professor at Cornell University, have been awarded the 2025 Gödel ...

TAMER: Training an Agent Manually via Evaluative Reinforcement TAMER: Training an Agent Manually via Evaluative Reinforcement. W. Bradley Knox and Peter Stone. In IEEE 7th International Conference on ...

About this Course: CS303E is the first course in the Programming and Computation series (previously the Elements of Computing series) for non-CS majors. Computing is an integral part of many ...

Design and Optimization of an Omnidirectional Humanoid Walk:A Winning Approach at the RoboCup 2011 3D Simulation Competition Design and Optimization of an Omnidirectional Humanoid Walk:A Winning ...

BibTeX Entry @TechReport {AI100, author="Peter Stone and Rodney Brooks and Erik Brynjolfsson and Ryan Calo and Oren Etzioni and Greg Hager and Julia Hirschberg and Shivaram Kalyanakrishnan and Ece ...

Miniconda for Windows Identify whether your system is 32 bit or 64 bit. Here is the link: Windows 32 bit or 64 bit? Under the Miniconda Installer Links select the suitable installer for your system ...