1.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
2.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
3.
|
Exploring Object Perception with Random Image Structure Evolution Sadr, Javid - Sinha, Pawan
|
4.
|
KBEmacs: A Step Toward the Programmer's Apprentice Waters, Richard C.
|
5.
|
New Progress in Artificial Intelligence Winston, Patrick H.
|
6.
|
Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P Zhao, Feng
|
7.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|
8.
|
Probabilistic Solution of Inverse Problems Marroquin, Jose Luis
|
9.
|
Reducing Impediments to Collaboration in a Virtual Design World Seshasai, Satwik - Gupta, Amar - Sainath, Tara
|
10.
|
Model-driven development of Rich Internet Applications on the Semantic Web Hermida Carbonell, Jesús María
|