1.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
2.
|
CREF: An Editing Facility for Managing Structured Text Pitman, Kent M.
|
3.
|
Detecting Digital Forgeries Using Bispectral Analysis Farid, Hany
|
4.
|
Decision support tools for urban air quality management San Martini, Federico M. (Federico Matteo), 1973-
|
5.
|
Single Machine Scheduling with Release Dates Goemans, Michel X. - Queyranne, Maurice - Schulz, Andreas S. - Skutella, Martin - Wang, Yaoguang
|
6.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
7.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|
8.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|
9.
|
Mechanical and optical behavior of a novel optical fiber crack sensor and an interferometric strain sensor Olson, Noah Gale, 1969-
|
10.
|
Organizing a Global Coordinate System from Local Information on an Amorphous Computer Nagpal, Radhika
|