This project seeks to improve system security and robustness by building distributed services that tolerate buggy, selfish, or malicious nodes. We use replication and Byzantine fault tolerant (BFT) ...
Dr. Adam Klivans, UT Computer Science professor and director of the Institute for Foundations of Machine Learning, joined KXAN Austin to discuss the impact of DeepSeek’s latest AI model. He explained ...
MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...
circuit complexity, lower bound methods, algorithms, and combinatorics. Jeff Ford, ``Lower Bound Methods for Multiparty Communication Complexity'', Ph. D. May 2006. Vladimir Trifonov, ``Techniques for ...
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 ...
Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.
When emailing us, please put CS395 in the subject line. Topics: This is a graduate seminar course in computer vision. We will survey and discuss current vision papers relating to object recognition, ...
We use a 3-level page table, such that the first 10-bit are for the first level and so on. What is the page size in such a system? What is the size of a page table for a process that has 256K of ...
Yuk Wah Wong ([email protected]), September 2007. The v2.0alpha distribution of WASP* contains the WASP semantic parser, the WASP-1 (++) tactical generator, and the lambda-WASP* variants for dealing ...
Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...
Information Extraction (IE) is a shallow form of text understanding that extracts substrings about prespecified types of entities or relationships from documents and web pages. Our work has focused on ...