课题基金 / 基金详情

A Theorem Proving Based System for Recognizing Three-Dimensional Objects (Computer and Information Science)

A Theorem Proving Based System for Recognizing Three-Dimensional Objects (Computer and Information Science)
基于定理证明的三维物体识别系统（计算机与信息科学）
批准号：
8602555
负责人：
Michael Magee
金额：
$7.51万
依托单位：
University of Wyoming
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1986
资助国家：
美国
项目状态：
已结题
起止时间：
1986-06-15 至 1988-11-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8602555&HistoricalAwards=false
关键词：
TheoremProvingBasedSystemRecognizing

项目摘要

项目成果

Michael Magee的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Thin Counting in Moduli Spaces
  • 批准号：
    1701357
  • 项目类别：
    Standard Grant
  • 资助金额：
    $14.53万
  • 财政年份：
    2017
  • 负责人：
    Michael Magee
  • 依托单位：
    Yale University
An Interdisciplinary Undergraduate Course in Image Processing
  • 批准号：
    8952218
  • 项目类别：
    Standard Grant
  • 资助金额：
    $6.56万
  • 财政年份：
    1990
  • 负责人：
    Michael Magee
  • 依托单位：
    University of Wyoming
A Laboratory for Research on Model-Based Computer Vision
  • 批准号：
    8820823
  • 项目类别：
    Standard Grant
  • 资助金额：
    $9.56万
  • 财政年份：
    1989
  • 负责人：
    Michael Magee
  • 依托单位：
    University of Wyoming
Equipment for Computer Research
  • 批准号：
    8514233
  • 项目类别：
    Standard Grant
  • 资助金额：
    $6.0万
  • 财政年份：
    1985
  • 负责人：
    Michael Magee
  • 依托单位：
    University of Wyoming
海外基金