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

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

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

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

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

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

Introduction TMYCIN (``Tiny EMYCIN'') is a simple expert system tool patterned after the EMYCIN tool developed at Stanford [1, 2]. TMYCIN does not attempt to provide all of the features of EMYCIN; it ...

Readings Essential Operating Systems Principles (working title), Anderson, Chen, Dahlin, Gribble. I will provide drafts of this work-in-progress textbook to you. For some topics, this will be the main ...

CS310H - Honors Computer Organization and Programming (Spring 2004, 2005, 2007, 2009) CS310 - Computer Organization and Programming (Spring 2000, 2002, 2003; Fall 2008) CS352H - Honors Computer System ...

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

J. Tinsley Oden is the founding Director of the Institute for Computational Engineering and Sciences (ICES), which was created in January of 2003 as an expansion of the Texas Institute for ...

As a reviewer, you represent your community and your review should be professional and constructive. The quality of the venue depends on the quality of reviews. The job of the reviewer is to select ...