1.
|
CREF: An Editing Facility for Managing Structured Text Pitman, Kent M.
|
2.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
3.
|
Towards a systematic repository of knowledge about managing collaborative design conflicts
|
4.
|
Detecting Digital Forgeries Using Bispectral Analysis Farid, Hany
|
5.
|
Single Machine Scheduling with Release Dates Goemans, Michel X. - Queyranne, Maurice - Schulz, Andreas S. - Skutella, Martin - Wang, Yaoguang
|
6.
|
Decision support tools for urban air quality management San Martini, Federico M. (Federico Matteo), 1973-
|
7.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
8.
|
Creating Lean Suppliers: Diffusing Lean Production Through the Supply Chain Helper, Susan - MacDuffie, John Paul
|
9.
|
Shape and Source from Shading Brooks, Michael J. - Horn, Berthold K.P.
|
10.
|
The Computational Complexity of Two-Level Morphology Barton, G. Edward, Jr.
|
11.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
12.
|
KBEmacs: A Step Toward the Programmer's Apprentice Waters, Richard C.
|
13.
|
Probabilistic Solution of Inverse Problems Marroquin, Jose Luis
|