The work described here is the second version of the Automatic Tricolor Cartograph (ATC). Phase one of the project was completed in 1968. At that time it was decided that certain improvements could and should be made on ...

As an aid to constructing, modifying, and maintaining formal proofs - proof management system has been developed. This system is based on a general purpose tree editor and includes interfaces to various theorem provers and ...

This thesis contains a detailed comparison of the computation and communication perfor­mance of two commercially-available hypercube multiprocessors, the Intel iPSC and Intel iPSC/2. In a previous performance study [7], ...

The recent proliferation of commercial hypercubes and other multicomputers has made parallel processing widely available. Unfortunately, parallel systems often are more difficult to program than conventional serial computers, ...

The dissertation presents a number of novel machine learning techniques and applies them to information extraction. The study addresses several information extraction subtasks: part of speech tagging, entity extraction, ...

Power management is an important technique to prolong the lifetime of battery-powered wireless ad hoc networks. The fact that the energy consumed in the idle state dominates the total power consumed on wireless network ...

This report contains the complete lecture notes for CS322, Programming Language Design, taught by Grigore Rosu in the Fall 2003 semester at the University of Illinois at Urbana Champaign. This large PDF document has been ...