1.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
2.
|
CREF: An Editing Facility for Managing Structured Text Pitman, Kent M.
|
3.
|
3-round weak zero-knowledge proofs for [Nu] [Rho], Three-round weak ZK proofs for [Nu] [Rho] Lim, Dah-Yoh, 1978-
|
4.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
5.
|
Simplifying Decision Trees Quinlan, J.R.
|
6.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
7.
|
Classifying Objects from Visual Information Bobick, Aaron - Richards, Whitman
|
8.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|
9.
|
Detecting Digital Forgeries Using Bispectral Analysis Farid, Hany
|
10.
|
Single Machine Scheduling with Release Dates Goemans, Michel X. - Queyranne, Maurice - Schulz, Andreas S. - Skutella, Martin - Wang, Yaoguang
|