1.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
2.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
3.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
4.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|
5.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
6.
|
A Comparative Analysis of Reinforcement Learning Methods Mataric, Maja
|
7.
|
Viewing Control Structures as Patterns of Passing Messages Hewitt, Carl
|
8.
|
Exploring Object Perception with Random Image Structure Evolution Sadr, Javid - Sinha, Pawan
|
9.
|
Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems Zhao, Feng
|
10.
|
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces Zhao, Feng
|