1.
|
Reducing Impediments to Collaboration in a Virtual Design World Seshasai, Satwik - Gupta, Amar - Sainath, Tara
|
2.
|
Toward the 24-Hour Knowledge Factory Gupta, Amar - Seshasai, Satwik
|
3.
|
The growth of knowledge : testing a theory of scientific revolutions with a formal model
|
4.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
5.
|
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles - Waters, Richard C.
|
6.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
7.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
8.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|
9.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
10.
|
A web based interface metaphor for presenting complete process knowledge Nguyen, Vuong P. (Vuong Phuc)
|