1.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
2.
|
Predicting and managing system interactions at early phase of the product development process Dong, Qi, 1973-
|
3.
|
Leveraging Learning and Language Via Communication Bootstrapping Beal, Jacob
|
4.
|
Building a Document Corpus for Manufacturing Knowledge Retrieval Liu, Y. - Loh, Han Tong - Tor, Shu Beng
|
5.
|
Fingerprints Theorems for Zero-Crossings Yuille, A.L. - Poggio, T.
|
6.
|
KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods Yip, Kenneth Man-Kam
|
7.
|
Conclusions from the Commodity Expert Project Stansfield, James L.
|
8.
|
Model-Based Troubleshooting of Digital Systems Hamscher, Walter Charles
|
9.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
10.
|
Heuristic communications support systems for knowledge management Sekioka, Yasuyuki
|