桑顿 0001
人员信息
附属: 澳大利亚格里菲斯大学
其他同名人员
其他同名人员
Callum约翰·桑顿 约翰·达里尔·桑顿 -凯斯西储大学医学院,克利夫兰,俄亥俄州,美国 约翰·戴维·桑顿 -蓝天工作室 约翰·桑顿 约翰·桑顿 -伦敦大学学院,英国国家神经病学和神经外科医院 约翰·桑顿(John H.Thornton Jr.)。 (又名:约翰·H·桑顿) -美国俄亥俄州肯特州立大学
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [j6] 哈基姆·牛顿(Hakim Newton)硕士 , Md.马斯鲍尔·阿拉姆 , 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 苏凯乐 , 阿布杜勒·萨塔尔 :
在结构化可满足性问题的局部搜索中评估逻辑门约束。 Artif公司。 智力。 版次。 54 ( 7 ) : 5347-5411 ( 2021 )
2010 – 2019
2018 [公元49年] 本杰明·考利 , 桑顿 , 琳达·梅因 , 阿布杜勒·萨塔尔 :
无精度的精度:使用单个预测模型处理不确定性。 阿里夫 2018 : 129-136 2017 [公元48年] 本杰明·考利 , 桑顿 :
在预测框架内反馈调节注意力。 ACALCI公司 2017 : 61-73 [公元47年] 本杰明·考利 , 桑顿 , 琳达·梅因 , 阿布杜勒·萨塔尔 :
自组织预测细胞的动态阈值。 ECAL公司 2017 : 114-121 [公元46年] 琳达·梅因 , 桑顿 :
用于预测处理的稳定稀疏编码。 SSCI公司 2017 : 1-8 2015 [公元45年] 琳达·梅因 , 桑顿 :
用于生物声学识别的皮层激发模型。 图标(4) 2015 : 348-355 [公元44年] 亚当·克内尔 , 桑顿 :
层级时间记忆中的远端树突反馈。 国际JCNN 2015 : 1-8 2014 [公元43年] 蔡少伟 , 川洛 , 桑顿 , 苏凯乐 :
为部分MaxSAT定制本地搜索。 AAAI公司 2014 : 2623-2629 [公元42年] 本杰明·考利 , 亚当·克内尔 , 桑顿 :
基于大脑皮层的彩色图像过度完整特征学习。 价格 2014 : 720-732 2013 [j5] 桑顿 , 安德鲁·斯比克 :
灰度图像的空间池。 国际J·马赫。 学习。 赛博。 4 ( 三 ) : 207-216 ( 2013 ) [公元41年] 琳达·梅因 , 本杰明·考利 , 亚当·克内尔 , 桑顿 :
评估手写数字上的稀疏代码。 澳大利亚人工智能会议 2013 : 396-407 2012 [公元40年] 桑顿 , 琳达·梅因 , 安德鲁·斯比克 :
固定框架临时池。 澳大利亚人工智能会议 2012 : 707-718 [公元39年] 拉加夫·拉马钱德兰 , 桂林齐 , 王克文(Kewen Wang) , 王俊虎 , 桑顿 :
DL-Lite中的概率推理。 价格 2012 : 480-491 2011 [公元38年] 马可·索托马约尔 , 王克文(Kewen Wang) , 易东申 , 桑顿 :
概率多上下文系统。 JIST标准 2011 : 366-375 [公元37年] 桑顿 , 安德鲁·斯比克 , 琳达·梅因 , 马哈萨·奇萨兹 :
增强的空间池。 澳大利亚人工智能会议 2011 : 261-270
2000 – 2009
2008 【j4】 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 阿布杜勒·萨塔尔 :
将时间推理建模并求解为命题可满足性。 Artif公司。 智力。 172 ( 15 ) : 1752-1782 ( 2008 ) [j3] 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 查尔斯·格雷顿 , 阿布杜勒·萨塔尔 :
结合自适应和动态局部搜索以获得可满足性。 J.满意。 布尔模型。 计算。 4 ( 2-4 ) : 149-172 ( 2008 ) [公元36年] 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 阿布杜勒·萨塔尔 :
有效利用SAT本地搜索中的依赖关系。 AAAI公司 2008 : 1476-1478 [公元35年] 桑顿 , 乔伦·费克尼 , 迈克尔·布鲁门斯坦 , 特雷弗·海恩 :
使用分层矢量量化和时间池的字符识别。 澳大利亚人工智能会议 2008 : 562-572 [公元34年] 桑顿 , 恩吉亚·范杜克(Duc Nghia Pham) :
使用成本分布指导SAT本地搜索中的权重衰减。 价格 2008 : 405-416 2007 [公元33年] 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 查尔斯·格雷顿 , 阿布杜勒·萨塔尔 :
局部可满足性搜索的进展。 澳大利亚人工智能会议 2007 : 213-222 [公元32年] 阿卜杜勒拉夫·伊斯泰维 , 桑顿 , 阿布杜勒·萨塔尔 :
未加权MAX-SAT的重量重分布。 澳大利亚人工智能会议 2007 : 687-693 [公元31年] 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 阿布杜勒·萨塔尔 :
将结构构建到SAT的本地搜索中。 国际JCAI 2007 : 2359-2364 [电子1] 梅赫迈特·奥尔根(Mehmet A.Orgun) , 桑顿 :
AI 2007:《人工智能进展》,第20届澳大利亚人工智能联合会议,澳大利亚黄金海岸,2007年12月2-6日,会议记录。 计算机科学课堂讲稿 4830, 施普林格 2007 ,十亿 978-3-540-76926-2 [目录] 2006 [公元30年] 桑顿 , 托比约恩·古斯塔夫森 , 迈克尔·布鲁门斯坦 , 特雷弗·海恩 :
使用层次贝叶斯网络的鲁棒字符识别。 澳大利亚人工智能会议 2006 : 1259-1264 [公元29年] 阿卜杜勒拉夫·伊斯泰维 , 桑顿 , 安布拉根语 , 阿布杜勒·萨塔尔 , 恩吉亚·范杜克(Duc Nghia Pham) :
自适应条款权重重新分配。 人物配对关系 2006 : 229-243 [公元28年] 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 阿布杜勒·萨塔尔 :
面向时间推理的高效SAT编码。 人物配对关系 2006 : 421-436 2005 [注2] 桑顿 :
SAT本地搜索的条款权重。 J.汽车。 原因。 35 ( 1-3 ) : 97-142 ( 2005 ) [公元27年] 恩吉亚·范杜克(Duc Nghia Pham) , 桑顿 , 阿布杜勒·萨塔尔 , 阿卜杜勒拉夫·伊斯泰维 :
基于SAT和基于CSP的可满足性约束加权。 AAAI公司 2005 : 455-460 [公元26年] 小瓦尔尼尔·费雷拉。 , 桑顿 :
打破平局条款加权SAT本地搜索。 澳大利亚人工智能会议 2005 : 70-81 [公元25年] 斯图尔特·贝恩 , 桑顿 , 阿布杜勒·萨塔尔 :
局部搜索启发式发现的进化方法比较。 澳大利亚人工智能会议 2005 : 1068-1074 [公元24年] 斯图亚特·贝恩 , 桑顿 , 阿布杜勒·萨塔尔 :
演化变量排序启发式用于约束优化。 人物配对关系 2005 : 732-736 【c23】 阿卜杜勒拉夫·伊斯泰维 , 桑顿 , 阿布杜勒·萨塔尔 , 恩吉亚·范杜克(Duc Nghia Pham) :
SAT局部搜索中的邻域子句权重重分配。 人物配对关系 2005 : 772-776 2004 [j1] 桑顿 , 马修·博蒙特 , 阿布杜勒·萨塔尔 , 迈克尔·J·马赫 :
建模和求解区间代数问题的局部搜索方法。 J.日志。 计算。 14 ( 1 ) : 93-112 ( 2004 ) [公元22年] 桑顿 , 恩吉亚·范杜克(Duc Nghia Pham) , 斯图亚特·贝恩 , 小瓦尔尼尔·费雷拉。 :
SAT的加法与乘法子句权重。 AAAI公司 2004 : 191-196 [c21] 贝拉·斯坦蒂克 , 桑卡普·坎纳 , 桑顿 :
一种有效的现代双时态数据索引方法。 模数转换器 2004 : 113-122 [公元20年] 小瓦尔尼尔·费雷拉。 , 桑顿 :
SAT局部搜索子句加权中的长期记忆。 澳大利亚人工智能会议 2004 : 730-741 [第19条] 斯图亚特·贝恩 , 桑顿 , 阿布杜勒·萨塔尔 :
约束满足的进化算法。 IEEE进化计算大会 2004 : 265-272 [第18条] 周玲忠 , 桑顿 , 阿布杜勒·萨塔尔 :
分布式约束满足问题中的动态Agent排序和Nogood修复。 FLAIRS公司 2004 : 20-26 [第17条] 马修·博蒙特 , 桑顿 , 阿布杜勒·萨塔尔 , 迈克尔·J·马赫 :
使用局部搜索解决过度约束的时间推理问题。 价格 2004 : 134-143 [c16] 斯图亚特·贝恩 , 桑顿 , 阿布杜勒·萨塔尔 :
算法自动生成方法。 价格 2004 : 144-153 2003 [c15] 安布拉根语 , 桑顿 , 阿布杜勒·萨塔尔 :
硬随机3-SAT问题的动态变量滤波。 澳大利亚人工智能会议 2003 : 100-111 [第14条] 韦恩·普兰 , 梁昭 , 桑顿 :
估计SAT子句加权局部搜索的问题度量。 澳大利亚人工智能会议 2003 : 137-149 [第13条] 周玲忠 , 桑顿 , 阿布杜勒·萨塔尔 :
分布式约束满足问题中的动态Agent排序。 澳大利亚人工智能会议 2003 : 427-439 [第12条] 贝拉·斯坦蒂克 , 桑顿 , 阿布杜勒·萨塔尔 :
一种新的时态数据库NOW建模方法。 时间 2003 : 174-180 2002 [第11条] 桑顿 , 韦恩·普兰 , 贾斯汀·特里 :
SAT子句权重算法的更少参数。 澳大利亚人工智能联合会议 2002 : 569-578 [第10条] 奥列娜·克拉夫丘克 , 韦恩·普兰 , 桑顿 , 阿布杜勒·萨塔尔 :
3-SAT问题中变量关系的研究。 澳大利亚人工智能联合会议 2002 : 579-590 【c9】 桑顿 , 斯图亚特·贝恩 , 阿布杜勒·萨塔尔 , Duc Nghia Pham先生 :
具有硬约束和软约束的MAX-SAT问题的两级局部搜索。 澳大利亚人工智能联合会议 2002 : 603-614 【c8】 桑顿 , 马修·博蒙特 , 阿布杜勒·萨塔尔 , 迈克尔·J·马赫 :
将局部搜索应用于时间推理。 时间 2002 : 94-99 2001 【c7】 马修·博蒙特 , 阿布杜勒·萨塔尔 , 迈克尔·J·马赫 , 桑顿 :
解决过度约束的时间推理问题。 澳大利亚人工智能联合会议 2001 : 37-49 2000 【c6】 西瓦库马尔·纳加拉扬 , 斯科特·古德温 , 阿布杜勒·萨塔尔 , 桑顿 :
关于非二进制约束满足问题的对偶编码。 人物配对关系 2000 : 531-536
1990 – 1999
1999 【c5】 桑顿 , 阿布杜勒·萨塔尔 :
关于约束加权的行为和应用。 人物配对关系 1999 : 446-460 1998 【c4】 桑顿 , 阿布杜勒·萨塔尔 :
使用弧权重改进迭代修复。 AAAI/IAAI公司 1998 : 367-372 【c3】 桑顿 , 阿布杜勒·萨塔尔 :
过度约束问题的动态约束加权。 价格 1998 : 377-388 1997 【c2】 桑顿 , 阿布杜勒·萨塔尔 :
使用加权迭代修复应用了部分约束满足。 澳大利亚人工智能联合会议 1997 : 57-66 1996 【c1】 桑顿 , 阿布杜勒·萨塔尔 :
基于整数规划的护士排班系统。 亚洲的 1996 : 357-358
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)