刷新
{{item.name}}会员
A Theorem Proving Based System for Recognizing Three-Dimensional Objects (Computer and Information Science)
基于定理证明的三维物体识别系统（计算机与信息科学）
基本信息
- 批准号：8602555
- 负责人：
- 金额：$ 7.51万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-06-15 至 1988-11-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Michael Magee其他文献
The limit points of the bass notes of arithmetic hyperbolic surfaces
算术双曲曲面低音音符的极限点
- DOI：
- 发表时间：
2024 - 期刊：
- 影响因子：0
- 作者：
Michael Magee - 通讯作者：
Michael Magee
UNIFORM CONGRUENCE COUNTING FOR SCHOTTKY SEMIGROUPS
肖特基半群的一致同余计数
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Michael Magee;J. Bourgain;Alex Kontorovich - 通讯作者：
Alex Kontorovich
Matrix group integrals, surfaces, and mapping class groups II: $$ extrm{O}left( n
ight) $$ and $$ extrm{Sp}left( n
ight) $$
矩阵群积分、曲面和映射类群 II：$$ extrm{O}left( n
ight) $$ 和 $$ extrm{Sp}left( n
ight) $$
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：1.4
- 作者：
Michael Magee;Doron Puder - 通讯作者：
Doron Puder
Strongly convergent unitary representations of right-angled Artin groups
直角 Artin 群的强收敛酉表示
- DOI：
- 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Michael Magee;Joseph Thomas - 通讯作者：
Joseph Thomas
On Selberg’s eigenvalue conjecture for moduli spaces of abelian differentials
关于阿贝尔微分模空间的塞尔伯格特征值猜想
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：1.8
- 作者：
Michael Magee - 通讯作者：
Michael Magee
Michael Magee的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Michael Magee', 18)}}的其他基金
An Interdisciplinary Undergraduate Course in Image Processing
图像处理跨学科本科课程
- 批准号：
8952218 - 财政年份：1990
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
A Laboratory for Research on Model-Based Computer Vision
基于模型的计算机视觉研究实验室
- 批准号：
8820823 - 财政年份：1989
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
A Microcomputer-Based Artificial-Intelligence Laboratory
基于微机的人工智能实验室
- 批准号：
8001643 - 财政年份：1980
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
A Minicomputer Laboratory to Teach Computer Organization And Operating Systems
教授计算机组成和操作系统的小型计算机实验室
- 批准号：
7916056 - 财政年份：1979
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
Travel to Attend: Special Conference on Digitized Image Processing, Munich, Germany, 03/28-30/77
前往参加：数字化图像处理特别会议，德国慕尼黑，03/28-30/77
- 批准号：
7705009 - 财政年份：1977
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
The Potential Application of a Recently Developed Procedure For the Refinement of Digitalized Images
最近开发的数字化图像细化程序的潜在应用
- 批准号：
7702466 - 财政年份：1977
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
相似海外基金
Study on the mathematics lesson with proving: with teaching materials for the students 13-18 years old based on the coherent understanding
数学课的证明研究：基于连贯理解的13-18岁学生教材
- 批准号：
20K02855 - 财政年份：2020
- 资助金额：
$ 7.51万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of Learning game of Explorative Proving based on Gamification for Homeschooling
基于游戏化的家庭教育探索性证明学习游戏的开发
- 批准号：
15K12375 - 财政年份：2015
- 资助金额：
$ 7.51万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Development of Teaching Method based on Curriculum of Explorative Proving and their Verification by Scientific Evidence
基于探索性证明及其科学证据验证课程的教学方法开发
- 批准号：
26282039 - 财政年份：2014
- 资助金额：
$ 7.51万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Verification of real-time systems based on proving codes
基于验证码的实时系统验证
- 批准号：
26540026 - 财政年份：2014
- 资助金额：
$ 7.51万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Research on program transformation systems based on automated theorem proving
基于自动化定理证明的程序转换系统研究
- 批准号：
19500003 - 财政年份：2007
- 资助金额：
$ 7.51万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A Semantically-Based Methodology for Proving Safety, Liveness, and Security Properties of Parallel Systems
一种基于语义的并行系统安全性、活性和保密属性证明方法
- 批准号：
9988551 - 财政年份：2000
- 资助金额：
$ 7.51万 - 项目类别：
Continuing Grant
Instance-Based Theorem Proving with Semantics and Equality
基于实例的定理证明语义和等式
- 批准号：
9972118 - 财政年份：1999
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
Instance-Based Theorem Proving with Semantics and Equality
基于实例的定理证明语义和等式
- 批准号：
9627316 - 财政年份：1996
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant
U.S.-France Cooperative Research: Theory and Applications ofEquational Theorem Proving Techniques based on Completion
美法合作研究：基于补全的方程定理证明技术的理论与应用
- 批准号：
9314834 - 财政年份：1994
- 资助金额：
$ 7.51万 - 项目类别：
Standard Grant