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

Stein's method, due to Charles M. Stein, is a set of remarkably powerful theoretical techniques for proving approximation and limit theorems in probability theory. It has been mostly known to ...

Programming as a discipline of mathematical nature by Edsger W. Dijkstra In this article I intend to present programming as a mathematical activity without undertaking the arduous task of supplying a ...

Marijn J. H. Heule (2018). Schur Number Five. Proceedings of AAAI-18, pp. 6598-6606. [link, arXiv] Marijn J. H. Heule, Oliver Kullmann, and Armin Biere (2018). Cube and Conquer for Satisfiability.

Murray, K. "Learning as Knowledge Integration," Ph.D. dissertation from The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-95-41. November 1995. (300 pages, ...

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

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

No. Both grades will remain on your transcript and both will be averaged into your GPA. Students in the College of Natural Sciences are not permitted to repeat a course for which they have already ...

AI addresses the challenges of machine cognition, spanning the theoretical and empirical across diverse subfields such as machine learning, computer vision, NLP, and robotics.

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