AI&M 2004:美国佛罗里达州劳德代尔堡
-
2004年人工智能与数学国际研讨会,美国佛罗里达州劳德代尔堡,2004年1月4日至6日。 2004 亚历山大·波奇曼 :
生产推理、非单调性和诱骗。 斯特凡·博彻 , 加布里埃尔·伊斯特拉特 , 阿伦·G·珀斯 :
随机约束满足问题的脊柱:定义和对计算复杂性的影响。 马丁·塞贝里奥 , 弗朗索瓦·莫达夫 :
基于区间的多准则决策。 道格拉斯·岑泽 , V.威克托·马雷克 , 杰弗里·伦梅尔 :
使用逻辑程序推理无限集。 胡比·陈 :
约束的表达速率。 伊恩·大卫德森 , 米努阿米尼亚语 :
利用中心极限定理进行信念网络学习。 德米特里·A·多尔戈夫 , 埃德蒙·杜菲 :
马尔可夫决策过程中的近似概率约束和风险敏感优化准则。 阿舒托什·加格 , T.S.Jayram公司 , 瓦伊蒂亚纳坦湿婆神 , 朱怀玉 :
广义意见池。 彼得罗·格米特拉西维奇(Piotr J.Gmytrasiewicz) , Prashant Doshi公司 :
多代理环境中的顺序规划框架。 郭云松 , 安德鲁·里姆 , 布赖恩·罗德里格斯 , 易珠 :
经纪集合装箱问题的启发式。 布拉希姆·赫尼奇 , 克孜尔坦 , 托比·沃尔什 :
对称破缺与其他约束的结合:用和进行词汇排序。 黄高峰 , 安德鲁·里姆 :
一个简单而有效的优化问题框架。 黄凯珠 , 杨海琴 , 欧文·金 , 迈克尔·R·吕 , 陈来万 :
医学诊断中的有偏最小极大概率机。 阿马尔群岛 :
结合QSR中的基本方向关系和相对关系。 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
布尔电路表方法中的无限制切割与限制切割。 Gytis Karciauskas公司 , 芬恩·弗纳·詹森 , 托马斯·科卡 :
学习潜在类模型中的参数重用。 卡列夫·卡斯克 , 里娜·德希特 , Vibhav戈盖特 :
约束满足的新Look-Ahead方案。 安德鲁·C·李 :
通过有限的多个查询学习。 黛巴斯·米特拉 :
星微积分建模与推理。 阿普瓦·穆加尔 , 克雷格·A·托维 , 斯文·柯尼格 :
贪婪机器人导航方法分析。 贾斯汀·皮尔逊 :
图同构约束满足中的对称破缺:无逗号码。 里卡多·普切拉 :
演绎算法知识。 Angelo C.Restificar公司 , 彼得·哈德维 :
从谈判行动推断实用程序。 沈海鸥 , 张汉涛 :
MAX-2-SAT精确算法的改进。 威廉·D·斯马特 :
强化学习中值函数逼近的显式流形表示。 戴夫·汤普金斯 , 霍尔格·H·胡斯 :
扭曲的景观和SAT解决的随机行为。 米罗斯拉夫·韦列夫 :
在正式验证无序处理器时,使用自动案例拆分和有效的CNF转换来指导SAT解决方案。 克里斯托弗·沃尔顿 :
多代理对话协议。 柯茵 , 伊恩·大卫德森 :
通过压缩编码跨模型空间的贝叶斯模型平均。 易珠 , 安德鲁·里姆 :
具有空间约束的起重机调度:数学模型和求解方法。