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

This algorithm, which Bob Boyer and I invented in 1980 decides which element of a sequence is in the majority, provided there is such an element. How would you determine the majority element of: ...

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

GandrKB - (Gene Annotation Data Representation KB, available free of charge) - an ontological framework for laboratory-specific gene annotation. Gandr uses Protege 2000 for editing, querying, and ...

Object-Graphs for Context-Aware Category Discovery. Y. J. Lee and K. Grauman. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR), San Francisco, CA, June 2010.

Being based on GCC makes the build process just a little longer, but all the steps are listed below. The tar.gz file contains the following: Folder framework/gcc. This folder will replace some files ...

The Master of Science in Computer Science (MSCS) program is designed for students who have completed a bachelor's degree in computer science and want to further their studies. Admission to the program ...

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

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

We can divide the history of the Internet into three phases. In the first phase there was the development of the infrastructure of the Internet. This included the construction of the network of cables ...

Keepaway is a subtask of robot soccer in which one team, the keepers, tries to maintain possession of a ball within a limited region, while another team, the takers, tries to gain possession. Whenever ...