Temporal representation and reasoning
Temporal representation and reasoning
批准号:
46773-1992
负责人:
Trudel, Andre
金额:
$1.17万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
1994
资助国家:
加拿大
项目状态:
已结题
起止时间:
1994-01-01 至 1995-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Temporal knowledge formalization and reasoning
-
批准号:46773-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2010
-
负责人:Trudel, Andre
-
依托单位:
Temporal knowledge formalization and reasoning
-
批准号:46773-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2009
-
负责人:Trudel, Andre
-
依托单位:
Temporal knowledge formalization and reasoning
-
批准号:46773-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2008
-
负责人:Trudel, Andre
-
依托单位:
Temporal knowledge formalization and reasoning
-
批准号:46773-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2007
-
负责人:Trudel, Andre
-
依托单位:
Temporal knowledge formalization and reasoning
-
批准号:46773-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:2006
-
负责人:Trudel, Andre
-
依托单位:
Temporal first order logics
-
批准号:46773-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2005
-
负责人:Trudel, Andre
-
依托单位:
Temporal first order logics
-
批准号:46773-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2004
-
负责人:Trudel, Andre
-
依托单位:
Temporal first order logics
-
批准号:46773-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2003
-
负责人:Trudel, Andre
-
依托单位:
Temporal first order logics
-
批准号:46773-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2002
-
负责人:Trudel, Andre
-
依托单位:
Temporal first order logics
-
批准号:46773-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.87万
-
财政年份:2001
-
负责人:Trudel, Andre
-
依托单位:
Point based spatio-temporal logics
-
批准号:46773-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.07万
-
财政年份:2000
-
负责人:Trudel, Andre
-
依托单位:
Point based spatio-temporal logics
-
批准号:46773-1999
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.07万
-
财政年份:1999
-
负责人:Trudel, Andre
-
依托单位:
Representing and reasoning about a dynamic world
-
批准号:46773-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.3万
-
财政年份:1998
-
负责人:Trudel, Andre
-
依托单位:
Representing and reasoning about a dynamic world
-
批准号:46773-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.18万
-
财政年份:1997
-
负责人:Trudel, Andre
-
依托单位:
Representing and reasoning about a dynamic world
-
批准号:46773-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.18万
-
财政年份:1996
-
负责人:Trudel, Andre
-
依托单位:
Hardware and software for the implementation of temporal reasoning systems
-
批准号:186803-1996
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$0.65万
-
财政年份:1996
-
负责人:Trudel, Andre
-
依托单位:
Representing and reasoning about a dynamic world
-
批准号:46773-1995
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.18万
-
财政年份:1995
-
负责人:Trudel, Andre
-
依托单位:
Temporal representation and reasoning
-
批准号:46773-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:1993
-
负责人:Trudel, Andre
-
依托单位:
Temporal representation and reasoning
-
批准号:46773-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:1992
-
负责人:Trudel, Andre
-
依托单位:
Representing and reasoning about a dynamic world
-
批准号:46773-1990
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.02万
-
财政年份:1991
-
负责人:Trudel, Andre
-
依托单位:
国内基金
海外基金
稀疏表示及其在盲源分离中的应用研究
-
批准号:61104053
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2011
-
负责人:杨祖元
-
依托单位:
约化群GL(n, F)的表示--F是非阿基米德局部域
-
批准号:10701034
-
项目类别:青年科学基金项目
-
资助金额:18.0万元
-
批准年份:2007
-
负责人:覃瑜君
-
依托单位:
信号盲处理的稀疏表示方法
-
批准号:60475004
-
项目类别:面上项目
-
资助金额:23.0万元
-
批准年份:2004
-
负责人:李远清
-
依托单位: