Recently, a number of programs have been developed that successfully apply variable-depth search to find solutions for mating problems in Japanese chess, called tsume shogi. Public...
First-year computer science students need to see clearly that computer science as a discipline has an important intellectual role to play and that it offers deep philosophical que...
Timothy J. Long, Bruce W. Weide, Paolo Bucci, Davi...
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
Given a collection of images of offices, what would we say we see in the images? The objects of interest are likely to be monitors, keyboards, phones, etc. Such identification of t...