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

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

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

Other languages that had at least 1 annotation includes: Chinese, Malayalam, Tagalog, Portuguese, Norwegian, Filipino, Estonian, Turkish, Arabic, Urdu, Hungarian, Indonesian, Malay, Bulgarian, Danish, ...

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

Syllabus for 329E Elements of Data Integration - Spring 2025 Class Meetings: Friday 2:00pm - 5:00pm Class Location: Zoom and RLP 0.112 * Instructor: Shirley Cohen Email: scohen at cs dot utexas dot ...

Complexity Analysis An essential aspect to data structures is algorithms. Data structures are implemented using algorithms. An algorithm is a procedure that you can write as a C function or program, ...

Brief Biography E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare ...

Adam R. Klivans Professor of Computer Science, UT-AustinDirector, Director, Machine Learning Lab ...

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

Risto Miikkulainen is a Professor of Computer Science at the University of Texas at Austin and VP of AI Research at Cognizant AI Lab. He received an M.S. in Engineering from the Helsinki University of ...