[mod.ai] Active Awards in the Robotics and Machine Intelligence Program

ICS.DEKEN@R20.UTEXAS.EDU (10/31/86)

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; (Joint support 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 Motion Analysis
Using Shape Change Information (Computer Research)};(DCR-8509737 A01);
$39871; 12 months.

University of Illinois - Urbana; Thomas S. Huang;
{Acquisition, Representation and Manipulation of Time-Varying
Spatial Information (Computer Research)}; (DCR-8415325 A02); $14768;
6 months.

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

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

Massachusetts Institute of Technology; Whitman Richards;{Natural
Computation: A Computational Approach to Visual Information Processing
(Information Science and ComputerResearch)}; (IST-8312240 A02);
$61500; 12 months; (Joint support with 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-Motion Complex
Logarithmic Mapping}; (DCR-8517251); $48039; 12 months.

University of Minnesota; William B. Thompson; {Determining Spatial
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: Color Gloss and Shadows (Computer
Research)}; (DCR-8419990 A01); $40475; 12 months.

University of Wisconsin - Madison; Charles R. Dyer; {Parallel Vision
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; 12 months;

Indiana University - Bloomington; Robert F. Port Stan C. Kwasny and
Daniel P. 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
Hirshman Buroughs 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
Interactive Problem Solving}; (DCR-8603231); $27676; 12 months; (Joint
support with the Special Projects Program the Information Science
Program and the Information Technology Program - Total Grant $69676).

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

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

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

Burroughs Corporation; Lynette Hirshman (in collaboration with
Ralph Grishman New 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 support with the Industry/University Cooperative
Research Program - Total Grant$73364).

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

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

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

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

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

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

University of Maryland - College Park; Jack Minker; {Workshop
on Foundations of Deductive Databases and Logic
Programming College Park Maryland 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
Theorem Proving 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 Proving Based
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 Research in Theory Formation Testing and Modification (Computer
Research)};(DCR-8310236 A02); $135000; 12 months.

University of California - Berkeley; Lotfi A. Zadeh; {Fuzzy Logic as a
Basis for 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
Theory of 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
(Computer Research)}; (DCR-8403304 A01); $62363; 12 months.

University of Maryland - College Park; Dana S. Nau; {PYI:
(ComputerResearch)}; (DCR-8351463 A02); $62500; 12 months.

University of Maryland - College Park; Laveen N. Kanal; {Parallel
Problem Solving and Applications in Artificial Intelligence};
(DCR-8504011 A01);$74922; 12 months.

University of Maryland - College Park; Hanan Samet; {Hierarchical
Data Structures}; (DCR-8605557); $45473; 12 months.

University of Massachusetts - Amherst; Victor R.
Lesser Krithivasan Ramamritham and Edward M. Riseman; {A Research
Facility for Cooperative Distributed Computing (Computer Research)};
(DCR-8644692); $590977; 12 months;(Joint support with the Coordinated
Experimental Research - Total Grant$984962).

University of Michigan - Ann Arbor; Arthur W. Burks; {Languages and
Architectures for Parallel Computing with Classifier Systems
(ComputerResearch)}; (DCR-8305830 A03); $6381.

University of Minnesota; James R. Slagle; {Expert Systems
Questioning Procedures Based on Merit (Computer Research)};
(DCR-8512857 A01); $82235; 12months.

University of New Hampshire; Eugene C. Freuder and Michael J. Quinn;
{Copingwith Complexity in Constraint Satisfaction Problems};
(DCR-8601209); $32708;12 months; (Joint support with the Theoretical
Computer Science Program - TotalGrant $42708).

Rutgers University - Busch Campus; Saul Amarel and Charles
Schmidt;{Exploration of Problem Reformulation and Strategy
Acquisition}; (DCR-8318075A03); $73547; 12 months; (Joint support with
the Information TechnologyProgram - Total Grant $102706).

Rutgers University; Tomasz Imielinski; {Processing Incomplete
Knowledge-A Database Approach (Computer Research)}; (DCR-8504140 A01);
$57411; 12 months.

New Mexico State University; Derek P. Partridge; {Workshop on the
Foundations of Artificial Intelligence Las Cruces New Mexico February
1986};(DCR-8514964); $15000; 12 months.

Cornell University; Robert L. Constable; {Experiments with a
Program Refinement System (Computer Research)}; (DCR-8303327 A03);
$60000; 12 months;(Joint support with the Software Engineering Program
and the Software Systems Science Program - Total Grant $180247).

Iona College; Ronald R. Yager; {Methods of Evidential Reasoning
(ComputerResearch)}; (DCR-8513044); $38600; 12 months.

University of Rochester; James F. Allen; {PYI: (Computer
Research)};(DCR-8351665 A02); $25000; 12 months.

University of Rochester; James F. Allen; {Temporal World Models for
Problem Solving (Computer Research)}; (DCR-8502481 A01); $38375; 12
months.

University of Texas - Austin; Benjamin J. Kuipers; {Deep and Shallow
Models in the Knowledge Base}; (DCR-8602665); $45720; 12 months; (Joint
support withthe Information Science Program - Total Grant $91440).

----- Automation and Robotics -----

Arizona State University; Kathleen M. Mutch; {Robotic Navigation
Using Dynamic Imagery}; (DCR-8601798); $69955; 12 months.

University of Illinois - Urbana; Thomas S. Huang;
{Acquisition Representation and Manipulation of Time-Varying Spatial
Information (ComputerResearch)}; (DCR-8640776 A01); $70752; 12 months.

University of Massachusetts - Amherst; Edward M. Riseman and Arthur
S.Gaylord; {A Group Research Facility for Artificial
Intelligence Distributed Computing and Software Systems (Computer
Research)}; (DCR-8318776 A03);$15000; 12 months; (Joint support with
the Special Projects Program and the Software Engineering Program -
Total Grant $80000).

Cornell University-Endowed; John E. Hopcroft; {An International
Workshop on Geometric Reasoning to be held June 30 - July 2 1986 at
Keble College Oxford University U.K.}; (DCR-8605077); $22423; 12 months.

Cornell University; John Hopcroft and Alan Demers; {A Program of
Research in Robotics}; (DMC-8640765 A02); $91072; 12 months;

Cornell University; John E. Hopcroft and Kuo K. Wang; {A Program of
Researchin Representing Physical Objects}; (DCR-8644262 A01); $104238;
12 months.

New York University; Ernest Davis; {Physical and Spatial Reasoning
with Solid Objects}; (DCR-8603758 & A01); $82600; 24 months.

New York University; David Lowe; {Model Based Recognition
of Three-Dimensional Objects (Computer Research)}; (DCR-8502009
A01);$49700; 12 months.

New York University; Colm O'Dunlaing and Chee-Keng Yap; {Motion
Planning Problems in Robotics: Algorithmic Issues (Computer Research)};
(DCR-8401898A02); $97300; 12 months.

Carnegie Mellon University; Takeo Kanade and Charles Thorpe;
{Understanding 3-D Dynamic Natural Scenes with Range Data};
(DCR-8604199); $75817; 12 months.

University of Pennsylvania; Ruzena K. Bajcsy; {Tactile Information
Processing(Computer Research)}; (DCR-8545795); $45359; 12 months;

University of Texas - Austin; J. K. Aggarwal; {Space Perception from
Multiple Sensing}; (DCR-8517583); $125000; 24 months.

University of Utah; Bir Bhanu and Thomas C. Henderson; {Computer
Aided Geometric Design Based Computer Vision (Computer Research)};
(DCR-8644518);$74997; 12 months.