1.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
2.
|
Reducing Impediments to Collaboration in a Virtual Design World Seshasai, Satwik - Gupta, Amar - Sainath, Tara
|
3.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
4.
|
Multinational enterprises and cross-border knowledge creation
|
5.
|
Expert knowledge elicitation to improve mental and formal models
|
6.
|
Reasoning from Incomplete Knowledge in a Procedural Deduction System Moore, Robert Carter
|
7.
|
The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems Abelson, Harold
|
8.
|
Combining prior knowledge and nonparametric models of chemical processes Thompson, Michael Lewis
|
9.
|
Heuristic communications support systems for knowledge management Sekioka, Yasuyuki
|
10.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|