Boundary and Object Detection in Real World Images.
Accelerated Iterative Methods for the Solution of Tridiagonal Systems on Parallel Computers.
Multilevel Queues with Extremal Priorities.
Verifying Program Performance.
Theorem Proving with Lemmas.
Space and Time Hierarchies for Classes of Control Structures and Data Structures.
A Combinatorial Problem Which Is Complete in Polynomial Space.
Enumeration of Fanout-Free Boolean Functions.
Sequencing Jobs with Stochastic Task Structures on a Single Machine.
Size complexity in context-free grammars forms.
Mathematical Techniques for Efficient Record Segmentation in Large Shared Databases.
Open Shop Scheduling to Minimize Finish Time.
The Semantics of Predicate Logic as a Programming Language.