🚀 go-pugleaf

Fiscal Year 1986 Research Projects
Funded by the Intelligent Systems Program
(now Robotics and Machine Intelligence Program)

A complete listing of these awards, including
short descriptive abstracts of the research
is available by writing to:

Y.T. Chien, Director
Robotics and Machine Intelligence Program
National Science Foundation
1800 G Street  NW
Washington, DC 20550

-----
Computer Vision and Image Processing
-----

SRI International; Alex P. Pentland; {Perceptual Organization and the
 Representation of Natural Scenes}; (DCR-8519283); $78060;12 months.

Stanford University; Paul Switzer; {Statistical Theory and Methods for
 Processing Spatial Imagery (Mathematical Sciences and Computer Research)};
(DMS-8411300 A02); $15000; 12 months; (Jointsupport with the Statistics and
 Probability Program - Total Grant$48200).

University of California - Berkeley; Alberto Grunbaum;{Reconstruction with
 Limited and Noisy Data (Mathematical Sciences and Computer Research)};
(DMS-8403232 A02); $8000; 12 months;(Joint support with the Applied Mathematics
 Program - Total Grant$66850).

University of Miami; Tzay Y. Young; {Three-Dimensional MotionAnalysis Using
 Shape Change Information (Computer Research)};(DCR-8509737 A01); $39871; 12
 months.

University of Illinois - Urbana; Thomas S. Huang; {AcquisitionRepresentation and
 Manipulation of Time-Varying SpatialInformation (Computer Research)};
(DCR-8415325 A02); $14768; 6months.

University of Maryland - College Park; Azriel Rosenfeld;{Perceptual Organization
 in Computer Vision:  Pyramid-basedApproaches}; (DCR-8603723); $120376; 12
 months.

University of Maryland - College Park; Azriel Rosenfeld;{Workshop on Graph
 Grammars and their Application to ComputerScienceLeesburgVirginiaOctober1986};
(DCR-8504840);$26235; 18 months.

Massachusetts Institute of Technology; Whitman Richards;{Natural Computation: A
 Computational Approach to VisualInformation Processing (Information Science and
 ComputerResearch)}; (IST-8312240 A02); $61500; 12 months; (Joint supportwith
 the Information Science Program - Total Grant $184721).

Michigan State University; George C. Stockman and Anil K. Jain;{Feature
 Extraction and Evaluation in Recognition of 3D Objects};(DCR-8600371); $55522;
 12 months.

University of Michigan - Ann Arbor; Ramesh Jain; {Ego-MotionComplex Logarithmic
 Mapping}; (DCR-8517251); $48039; 12 months.

University of Minnesota; William B. Thompson; {DeterminingSpatial Organization
 from Visual Motion (Computer Research)};(DCR-8500899 A01); $40750; 12 months.

University of Rochester; Dana H. Ballard; {Parameter Networks and Spatial
 Cognition}; (DCR-8602958); $80464; 12 months.

Carnegie-Mellon University; Steven A. Shafer and Takeo Kanade;{Optical Modeling
 in Image Understanding:  ColorGloss and Shadows (Computer Research)};
(DCR-8419990 A01); $40475; 12months.

University of Wisconsin - Madison; Charles R. Dyer; {ParallelVision Algorithms
 for Shared-Memory and Pipeline Multiprocessors};(DCR-8520870); $134857; 24
 months.

-----
Natural Language and Signal Understanding
-----

SRI International; Douglas Appelt; {Natural Language Utterance Planning(Computer
 Research and Information Science)}; (DCR-8641243); $95210; 12months;

Indiana University - Bloomington; Robert F. PortStan C. Kwasny and DanielP.
 Maki; {Data-Driven Speech Recognition Using Prosody}; (DCR-8518725);$101055; 12
 months.

Massachusetts Institute of Technology; Robert C. Berwick; {PYI:(Computer
 Research)}; (DCR-8552543); $25000; 12 months.

New York University; Ralph Grishman (in collaboration with Lynette
 HirshmanBuroughs Corporation); {Industry/University Cooperative Research:
 Acquisition and Use of Semantic Information for Natural Language Processing
(ComputerResearch)}; (DCR-8501843 A01); $78400; 12 months; (Joint support with
 theIndustry/University Cooperative Research Program - Total Grant $93400).

Duke University; Alan W. Biermann; {Dialog Processing for Voice
 InteractiveProblem Solving}; (DCR-8603231); $27676; 12 months; (Joint support
 with theSpecial Projects Programthe Information Science Programand the
 InformationTechnology Program - Total Grant $69676).

North Carolina State University - Raleigh; Robert Rodman; {DialogueProcessing
 for Voice Interactive Problem Solving}; (DCR-8603407); $4000; 24months; (Joint
 support with the Special Projects Programthe InformationScience Program and the
 Information Technology Program - Total Grant $65276).

Carnegie-Mellon University; Ronald A. Cole and Richard M. Stern;
 {PhoneticClassification=9Q%9U=UMSpeech}; (DCR-8512695); $127523; 24 months.

University of Pennsylvania; Aravind K. Joshi; {Research In Natural
 LanguageProcessing (Computer Research)}; (DCR-8545755 A01); $160000; 12 months.

Burroughs Corporation; Lynette Hirshman (in collaboration with RalphGrishmanNew
 York University; {Industry/University Cooperative Research:Acquisition and Use
 of Semantic Information for Natural Language Processing(Computer Research)};
(DCR-8502205 A01); $58364; 12 months; (Joint supportwith the Industry/University
 Cooperative Research Program - Total Grant$73364).

-----
Concept Learning and Inference
-----

Yale University; Dana C. Angluin; {Algorithms for InductiveInference (Computer
 Research)}; (DCR-8404226 A01); $88807; 12months.

Northwestern University; Lawrence J. Henschen; {Logic and Databases};
(DCR-8608311); $44845; 12 months; (Joint support withthe Information Science
 Program - Total Grant $89845).

University of Chicago; James Royer; {Theory of MachineLearning}; (DCR-8602991);
 $17000; 24 months; (Joint support withTheoretical Computer Science Program -
 Total Grant $51045).

University of Illinois - Urbana; R. S. Michalski; {Studies inComputer Inductive
 Learning and Plausible Inference}; (DCR-8645223A02); $135000; 12 months.

University of Southwestern Louisiana; Rasiah Loganantharaj;{Theoretical and
 Implementational Aspects of Parallel TheoremProving}; (DCR-8603039); $34994; 12
 months.

University of Maryland - College Park; Jack Minker; {Workshop onFoundations of
 Deductive Databases and Logic ProgrammingCollegeParkMaryland August 1986};
(DCR-8602676); $25390; 12 months.

Rutgers University - Busch Campus; Tom M. Mitchell; {PYI:(Computer Research)};
(DCR-8351523 A03); $25000; 12 months.

State University of New York - Albany; Neil V. Murray;{Automated Reasoning with
 Path Resolution and Semantic Graphs};(DCR-8600848); $34981; 12 months.

Carnegie-Mellon University; Peter B. andrews; {Automated TheoremProving in Type
 Theory (Computer Research)}; (DCR-8402532 A02);$87152; 12 months.

Carnegie-Mellon University; Elaine Kant and Allen Newell;{Algorithm Design and
 Discovery (Computer Research)}; (DCR-8412139A01); $57328; 12 months.

University of Texas - Austin; Michael P. Starbird and Woodrow W.Bledsoe;
 {Automatic Theorem Proving and Applications (ComputerResearch)}; (DCR-8313499
 A02); $150930; 12 months.

University of Wyoming; Michael J. Magee; {A Theorem ProvingBased System for
 Recognizing Three-Dimensional Objects};(DCR-8602555); $37530; 12 months.

-----
Knowledge Representation and Problem Solving
-----

Stanford University; John McCarthy; {Artificial Intelligence
(ComputerResearch)}; (DCR-8414393 A01); $134328; 12 months.

Stanford University; Edward A. Feigenbaum and Charles
 Yanofsky;{MOLGEN-Applications of Artificial Intelligence to Molecular Biology
 Researchin Theory FormationTesting and Modification (Computer Research)};
(DCR-8310236 A02); $135000; 12 months.

University of California - Berkeley; Lotfi A. Zadeh; {Fuzzy Logic as a Basisfor
 Commonsense Reasoning and Inference in Expert Systems (Computer Research)};
(DCR-8513139 A01); $100685; 12 months.

University of California - Los Angeles; Judea Pearl; {Studies in Heuristics
(Computer Research)}; (DCR-8501234 A01); $7895571; 12 months.

University of California - Los Angeles; Judea Pearl and monthshe
 Ben-Bassat;{Toward a Computational Model of Evidential Reasoning (Computer
 Research)};(DCR-8313875 A02); $95291; 12 months.

University of Southern California; Peter Waksman; {Grid Analysis - A Theoryof
 Form Perception (Mathematical Sciences and Computer Research}; (DMS-8602025);
 $5000; 12 months (Joint support with the Applied Mathematics Program- Total
 Grant $15600).

Yale University; Paul Hudak; {DAPS:  Systems Support For AI (ComputerResearch)};
 (DCR-8403304 A01); $62363; 12 months.