The application of probabilistic techniques to artificial intelligence
The application of probabilistic techniques to artificial intelligence
批准号:
41848-1994
负责人:
Bacchus, Fahiem
金额:
$2.33万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
1997
资助国家:
加拿大
项目状态:
已结题
起止时间:
1997-01-01 至 1998-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Advancing SAT solving algorithms with Applications to problems in Verification and AI
-
批准号:RGPIN-2016-05527
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$6.7万
-
财政年份:2021
-
负责人:Bacchus, Fahiem
-
依托单位:
Advancing SAT solving algorithms with Applications to problems in Verification and AI
-
批准号:RGPIN-2016-05527
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2019
-
负责人:Bacchus, Fahiem
-
依托单位:
Advancing SAT solving algorithms with Applications to problems in Verification and AI
-
批准号:RGPIN-2016-05527
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2018
-
负责人:Bacchus, Fahiem
-
依托单位:
Advancing SAT solving algorithms with Applications to problems in Verification and AI
-
批准号:RGPIN-2016-05527
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2017
-
负责人:Bacchus, Fahiem
-
依托单位:
Advancing SAT solving algorithms with Applications to problems in Verification and AI
-
批准号:RGPIN-2016-05527
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2016
-
负责人:Bacchus, Fahiem
-
依托单位:
Improving the impact and effectiveness of solvers for complete problems
-
批准号:41848-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2015
-
负责人:Bacchus, Fahiem
-
依托单位:
Improving the impact and effectiveness of solvers for complete problems
-
批准号:41848-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2014
-
负责人:Bacchus, Fahiem
-
依托单位:
Correlation clustering for identical product detection
-
批准号:469745-2014
-
项目类别:Engage Grants Program
-
资助金额:$1.82万
-
财政年份:2014
-
负责人:Bacchus, Fahiem
-
依托单位:
Improving the impact and effectiveness of solvers for complete problems
-
批准号:41848-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2013
-
负责人:Bacchus, Fahiem
-
依托单位:
Improving the impact and effectiveness of solvers for complete problems
-
批准号:41848-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2012
-
负责人:Bacchus, Fahiem
-
依托单位:
Improving the impact and effectiveness of solvers for complete problems
-
批准号:41848-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.06万
-
财政年份:2011
-
负责人:Bacchus, Fahiem
-
依托单位:
SAT and beyond, new algorithms for fundamental reasoning problems
-
批准号:41848-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.79万
-
财政年份:2010
-
负责人:Bacchus, Fahiem
-
依托单位:
SAT and beyond, new algorithms for fundamental reasoning problems
-
批准号:41848-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.79万
-
财政年份:2009
-
负责人:Bacchus, Fahiem
-
依托单位:
SAT and beyond, new algorithms for fundamental reasoning problems
-
批准号:41848-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.79万
-
财政年份:2008
-
负责人:Bacchus, Fahiem
-
依托单位:
SAT and beyond, new algorithms for fundamental reasoning problems
-
批准号:41848-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.79万
-
财政年份:2007
-
负责人:Bacchus, Fahiem
-
依托单位:
Computing support for research in knowledge representation and reasoning
-
批准号:345703-2007
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$5.72万
-
财政年份:2006
-
负责人:Bacchus, Fahiem
-
依托单位:
SAT and beyond, new algorithms for fundamental reasoning problems
-
批准号:41848-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.79万
-
财政年份:2006
-
负责人:Bacchus, Fahiem
-
依托单位:
Advanced representation and reasoning techniques for planning and constraint satisfaction
-
批准号:41848-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.64万
-
财政年份:2005
-
负责人:Bacchus, Fahiem
-
依托单位:
Advanced representation and reasoning techniques for planning and constraint satisfaction
-
批准号:41848-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.64万
-
财政年份:2004
-
负责人:Bacchus, Fahiem
-
依托单位:
Advanced representation and reasoning techniques for planning and constraint satisfaction
-
批准号:41848-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.64万
-
财政年份:2003
-
负责人:Bacchus, Fahiem
-
依托单位:
国内基金
海外基金
基于随机网络演算的无线机会调度算法研究
-
批准号:60702009
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2007
-
负责人:雷蕾
-
依托单位: