My main research interest is in computational theories of the brain with emphasis on human vision and motor control. In 1985 Chris Brown and I led a team that designed and built a high speed binocular ...

The Schur Number Five challenge is a typical example of Ramsey Theory. The challenge originates from the early 20th century, when Issai Schur studied the question whether one can avoid a monochromatic ...

We can show you the Knuth-Pratt-Morris algorithm and we can show you the Boyer-Moore algorithm. Our algorithm has the peculiar property that, roughly speaking, the longer the pattern is, the faster ...

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 "Proof of Program ...

Automatic Programming is defined as the synthesis of a program from a specification. If automatic programming is to be useful, the specification must be smaller and easier to write than the program ...

Hello! I am a fifth year Ph.D. student in Computer Science at NYU (Courant Institute). I am fortunate to be advised by Eunsol Choi. My primary research interests include machine learning and natural ...

Mina Huh, a computer science Ph.D. student at UT Austin, has been awarded a Google Ph.D. Fellowship, the company announced on ...

where context-name is the name of the context (usually the name of the kind of object being identified or diagnosed, e.g., rock or patient), parameters is a list of parameter descriptions, ...

The faculty as a whole have the responsibility to formulate a curriculum that will prepare you for a lifetime of work in the field of computing. Yes, some of what you learn will get you a job right ...

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

This page shows you how to create a jar file (java archive) using the Eclipse IDE. The instructions are for bundling the source code (.java files) into a jar. These instructions do not cover how to ...