Rosalie Steier
Pages 357-358
Alfred Bork
Pages 360-ff.
Robert L. Ashenhurst
Page 362
The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology.
M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, H. T. Cory
Pages 370-386
Jon Bentley, Don Knuth
Pages 384-369
A music-description language designed to facilitate both electronic communication and publication-quality printing of musical scores incorporates a syntax for expressing concurrency and two-dimensionality and places new demands …
John S. Gourlay
Pages 388-401
A five-year experience with abstraction-based software-development techniques in the university environment indicates that the investment required to support the paradigm in practice is returned in terms of greater ability to …
Valdis Berzins, Michael Gray, David Naumann
Pages 402-415
By ensuring entry to subsystems (zones) with different facilities and security levels, log-in procedures can do more than simply delay illicit access.
Richard Botting
Pages 416-417
There are a number of techniques for representing pictorial information, among them are borders, arrays, and skeletons. Quadtrees are often used to store black and white picture information. A variety of techniques have been
…
David S. Scott, S. Sitharama Iyengar
Pages 418-429
