1.
|
Automated Acquisition of Evolving Informal Descriptions Reubenstein, Howard B.
|
2.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
3.
|
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles - Waters, Richard C.
|
4.
|
Dynamically Stable Legged Locomotion (September 1985-Septembers1989) Raibert, Marc H. - Brown, H. Benjamin, Jr. - Chepponis, Michael - Koechling, Jeff - Hodgins, Jessica K. - Dustman, Diane - Brennan, W. Kevin - Barrett, David S. - Thompson, Clay M. - Hebert, John Daniell - Lee, Woojin - Borvansky, Lance
|
5.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
6.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
7.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|
8.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
9.
|
Building a trajectory syntax through language evolution Kim, Anthony Hahn, 1980-
|
10.
|
Viewing Control Structures as Patterns of Passing Messages Hewitt, Carl
|