×

找到1014个文档（结果1-100）

最新的 引文 关联
西尔弗，大卫;安德烈·巴雷托

基于模拟的搜索。 （英语） Zbl 07821712号

Beliaev，Dmitry（ed.）等人，2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第6卷。第12-14节。柏林：欧洲数学学会（EMS）。4800-4819 (2023).
MSC公司：68T20型 68T05型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{D.Silver}和\textit{A.Barreto}，in：2022年国际数学家大会，ICM 2022，芬兰赫尔辛基，虚拟，2022年7月6日至14日。第6卷。第12-14节。柏林：欧洲数学学会（EMS）。4800--4819（2023；Zbl 07821712）
全文： 内政部
OA许可证
西里尔·格雷尔;奥利维尔·古德特;郝金高

带自适应模拟的蒙特卡罗树搜索：加权顶点着色的案例研究。 （英语） Zbl 07787616号

Pérez Cáceres，Leslie（编辑）等人，组合优化中的进化计算。第23届欧洲会议，EvoCOP 2023，作为EvoStar 2023的一部分，于2023年4月12日至14日在捷克共和国布尔诺举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13987, 98-113 (2023).
MSC公司：68瓦50 90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{C.Grelier}等人，Lect。注释计算。科学。13987、98-113（2023；Zbl 07787616）
全文： 内政部
瓦伦库马尔·贾亚保尔;Jo、Seungbum;克利须那州帕勒姆;萨蒂，斯里尼瓦萨·拉奥

节能分拣、选择和搜索。 （英语） Zbl 07770291号

Lin，Chun Cheng（编辑）等人，WALCOM:算法和计算。第17届国际会议和研讨会，2023年3月22日至24日，台湾新竹，WALCOM 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13973, 179-190 (2023).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{V.Jayapaul}等人，Lect。注释计算。科学。13973、179--190（2023年；Zbl 07770291）
全文： 内政部
伊曼纽尔·贝里尼;Gerault，大卫;普罗托帕帕、马蒂奥;罗西，马蒂奥

用于自动差分特性搜索的蒙特卡罗树搜索：在SPECK中的应用。 （英语） Zbl 1519.94048号

Isobe，Takanori（编辑）等人，《密码学进展——INDOCRYPT 2022》。2022年12月11日至14日在印度加尔各答举行的第23届国际密码学会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13774, 373-397 (2023).
MSC公司：94A60型 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{E.Bellini}等人，Lect。注释计算。科学。13774、373--397（2023年；Zbl 1519.94048）
全文： 内政部
乔里克·乔肯;彼得·莱曼;瓦特斯，托尼;Patrick De Causmaecker

使用蒙特卡罗树搜索的改进版本探索搜索空间树以解决组合优化问题。 （英语） Zbl 1520.90177号

计算。操作。物件。 150，文章ID 106070，25 p.（2023）。
MSC公司：90C27型 90立方厘米35 90C09型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{J.Jooken}等人，《计算》。操作。第150号决议，文章编号106070，25页（2023年；Zbl 1520.90177）
全文： 内政部 arXiv公司
劳伦特·布尔托;马克·琼斯;罗尔夫·尼德迈尔;蒂尔·坦托

由最大删除数参数化的最长公共子序列的FPT算法。 （英语） Zbl 07842467号

Bannai，Hideo（ed.）等人，第33届组合模式匹配年度研讨会，CPM 2022，捷克共和国布拉格，2022年6月27日至29日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。223，第6条，第11页（2022年）。
MSC公司：68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{L.Bulteau}等人，LIPIcs——莱布尼茨国际程序。通知。223，第6条，第11页（2022；Zbl 07842467）
全文： 内政部
罗希特·巴布;索拉夫·拉吉;Joddumahanthi的Vijaychandra;布加塔·拉姆·瓦拉·普拉萨德

使用基于允许搜索的算法A-star和二进制搜索树分配相量测量单元，以实现全互联电网的可观测性。 （英语） Zbl 1531.93034号

最佳方案。控制应用程序。方法 43，第3号，687-710（2022）。
MSC公司：93个B07 93B70型
PDF格式BibTeX公司 XML格式引用
\textit{R.Babu}等人，Optim。控制应用程序。方法43，No.3，687--710（2022；Zbl 1531.93034）
全文： 内政部
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen

蒙特卡罗树搜索定价时间自动机。 （英语） Zbl 1522.68273号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。2022年9月12日至16日，第19届国际会议，QEST 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).
MSC公司：65年第68季度 68T20型 90立方厘米35
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13479，381--398（2022；Zbl 1522.68273）
全文： 内政部 链接
罗伯特·谢夫勒

线性化部分搜索顺序。 （英语） Zbl 07682427号

Bekos，Michael A.（编辑）等人，《计算机科学中的图论概念》。2022年6月22日至24日，第48届国际研讨会，WG 2022，德国图宾根。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13453, 425-438 (2022).
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\文本{R.Scheffler}，Lect。注释计算。科学。13453、425--438（2022；Zbl 07682427）
全文： 内政部 arXiv公司
西里尔·格雷尔;奥利维尔·古德特;郝金高

关于蒙特卡罗树搜索加权顶点着色。 （英语） Zbl 1499.68273号

Pérez Cáceres，Leslie（编辑）等人，组合优化中的进化计算。第22届欧洲会议，EvoCOP 2022，作为EvoStar 2022的一部分，于2022年4月20日至22日在西班牙马德里举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13222, 1-16 (2022).
MSC公司：68兰特 05C15号 68T20型 90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{C.Grelier}等人，Lect。注释计算。科学。13222，1-16（2022；Zbl 1499.68273）
全文： 内政部 arXiv公司
J.Ian Munro;帕特里克·尼克尔森。;路易莎·塞尔巴赫·本纳;Wild，塞巴斯蒂安

超简洁树–新的通用树源代码，用于优化压缩树数据结构和范围最小化。 （英语） Zbl 07740925号

Mutzel，Petra（编辑）等人，第29届欧洲算法年会。欧洲航天局2021年，葡萄牙里斯本（虚拟会议），2021年9月6日至8日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。204，第70条，第18页（2021）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.I.Munro}等人，LIPIcs——莱布尼茨国际程序。通知。204，第70条，第18页（2021；兹bl 07740925）
全文： 内政部 arXiv公司
吉木中川;Ohata、Satsuya;神户清水

基因组序列的高效保隐私可变长度子串匹配。 （英语） Zbl 1519.92168号

Carbone，Alessandra（编辑）等人，第21届生物信息学算法国际研讨会，WABI 20212021年8月2日至4日，虚拟会议。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。201，第2条，第23页（2021年）。
MSC公司：92D20型 92D10型 92-08 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nakagawa}等人，LIPIcs——莱布尼茨国际程序。通知。201，第2条，23 p.（2021；Zbl 1519.92168）
全文： 内政部
弗兰克·古尔斯基;多米尼克·科曼德;卡罗琳·雷赫斯;塞巴斯蒂安·维德雷赫特

半完全有向图上的有向宽度参数。 （英语） Zbl 07550556号

杜定珠（编辑）等，组合优化与应用。第十五届国际会议，COCOA 2021，中国天津，2021年12月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13135, 615-628 (2021).
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{F.Gurski}等人，Lect。注释计算。科学。13135615--628（2021；Zbl 07550556）
全文： 内政部
李显岳;杨若望;张和平;张，赵

加权范数下的部分逆最大生成树。 （英语） Zbl 07550539号

Du，Ding Zhu（编辑）等人，组合优化与应用。第十五届国际会议，COCOA 2021，中国天津，2021年12月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13135，389-399（2021）。
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{X.Li}等人，Lect。注释计算。科学。13135389--399（2021；Zbl 07550539）
全文： 内政部
一、 Tomohiro公司;罗伯特·W·欧文。;Köppl，多米尼克;爱你，洛娜

从后缀二进制搜索树中提取稀疏的最长公共前缀数组。 （英语） Zbl 07542418号

Lecroq，Thierry（编辑）等人，《字符串处理和信息检索》。第28届国际研讨会，SPIRE 2021，法国里尔，2021年10月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12944, 143-150 (2021).
MSC公司：68第05页 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{T.I}等人，Lect。注释计算。科学。12944、143-150（2021；Zbl 07542418）
全文： 内政部
安东尼奥斯·安东尼亚迪斯;玛格丽塔·卡普雷托;巴黎查勒姆索克;克里斯托夫·达米利乌斯;彼得·克林;卢卡斯·诺尔克;尼迪亚·奥布斯库拉·阿科斯塔;约阿希姆·斯波黑塞

关于最小广义曼哈顿连接。 （英语） Zbl 07498670号

Lubiw，Anna（编辑）等人，《算法和数据结构》。第17届国际研讨会，WADS 2021，虚拟活动，2021年8月9日至11日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12808，85-100（2021）。
MSC公司：68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Antoniadis}等人，Lect。注释计算。科学。12808，85-100（2021年；兹bl 07498670）
全文： 内政部 arXiv公司
张振亚;吕德云;保罗·阿卡尼;马磊;一郎·哈索;赵建军

基于QB-鲁棒性的蒙特卡罗树搜索的有效混合系统伪造。 （英语） Zbl 1493.68227号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 595-618 (2021).
MSC公司：60年第68季度 03B44型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zhang}等人，Lect。注释计算。科学。12759、595--618（2021年；Zbl 1493.68227）
全文： 内政部
OA许可证
达米安·巴斯托·加斯顿;查克拉波蒂，德布拉吉;什巴希斯·古哈;吉列尔莫·A·佩雷斯。;Jean-François拉斯金

安全学习，实现近最优调度。 （英语） Zbl 1491.68151号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 235-254 (2021).
MSC公司：68T05型 68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\文本{D.Busatto-Gaston}等人，Lect。注释计算。科学。12846、235--254（2021年；Zbl 1491.68151）
全文： 内政部 arXiv公司
塞西莉亚·霍姆格伦

分裂树——对数高度的许多重要随机树的统一模型：一个简短的调查。 （英语） Zbl 1484.68057号

Lindblad，Joakim（编辑）等人，《离散几何与数学形态学》。第一届国际联席会议，DGMM 2021，2021年5月24日至27日，瑞典乌普萨拉。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12708, 20-57 (2021).
MSC公司：68第05页 05二氧化碳 05C80号 60二氧化碳 60F05型 60J85型 2005年6月 60K35型 68页第10页
PDF格式BibTeX公司 XML格式引用
\文本｛C.霍尔姆格伦｝，勒克特。注释计算。科学。12708，20-57（2021；Zbl 1484.68057）
全文： 内政部
艾哈迈德·比尼亚兹

三次图和无爪图中最大权重内部生成树的更好近似算法。 （英语） Zbl 07405967号

Uehara，Ryuhei（编辑）等人，WALCOM：算法和计算。2021年2月28日至3月2日，缅甸仰光WALCOM 15第15届国际会议和研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12635, 260-271 (2021).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Biniaz}，莱克特。注释计算。科学。12635260-271（2021；Zbl 07405967）
全文： 内政部 arXiv公司
奥利弗·凯斯科兹;肯尼思·施密茨;Jens Schloeter;罗尔夫·德雷克斯勒

使用基于蒙特卡罗树搜索的子句学习改进SAT求解。 （英语） Zbl 1528.68361号

Drechsler，Rolf（编辑）等人，《高级布尔技术》。2018年9月19-21日在德国不来梅举行的第十三届布尔问题国际研讨会上的论文选集。查姆：斯普林格。107-133 (2020).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{O.Keszocze}等人，in：高级布尔技术。2018年9月19-21日，德国不来梅，第13届布尔问题国际研讨会论文选集。查姆：斯普林格。107-133（2020年；Zbl 1528.68361）
全文： 内政部
巴黎查勒姆索克;Wanchote Po的Jiamjitrak

通过几何反转的新二进制搜索树边界。 （英语） Zbl 07651167号

Grandoni，Fabrizio（编辑）等人，第28届欧洲算法年会。《2020年欧洲航天局》，2020年9月7日至9日，意大利比萨，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173，第28条，第16页（2020年）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Chalermsook}和\textit{W.P.Jiamjitrak}，LIPIcs——莱布尼茨国际程序。通知。173，第28条，第16页（2020；Zbl 07651167）
全文： 内政部
约翰·布卢姆;萨宾·斯托兰特

收缩层次中搜索空间大小的下限和近似算法。 （英语） Zbl 07651159号

Grandoni，Fabrizio（编辑）等人，第28届欧洲算法年会。《2020年欧洲航天局》，2020年9月7日至9日，意大利比萨，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。173，第20条，第14页（2020年）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Blum}和\textit{S.Storandt}，LIPIcs——莱布尼茨国际程序。通知。173，第20条，第14页（2020；Zbl 07651159）
全文： 内政部
马克西米利安·蒂森;路易斯·奎萨达;Kenneth N.Brown。

用LKH改进度约束最小生成树问题的分枝定界方法。 （英语） Zbl 07636036号

Hebrard，Emmanuel（编辑）等人，约束编程、人工智能和运筹学的集成。第17届国际会议，CPAIOR 2020，奥地利维也纳，2020年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12296, 447-456 (2020).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Thiessen}等人，Lect。注释计算。科学。12296、447--456（2020；Zbl 07636036）
全文： 内政部 链接
路易莎·塞尔巴赫·本纳;斯蒂芬·瓦格纳

关于随机二叉树中边缘子树的集合。 （英语） Zbl 07600802号

Kohayakawa，Yoshiharu（编辑）等人，《拉丁语2020：理论信息学》。第十四届拉丁美洲研讨会，巴西圣保罗，2021年1月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12118, 546-558 (2020).
MSC公司：68季度xx 68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{L.Seelbach-Benkner}和\textit{S.Wagner}，莱克特。注释计算。科学。12118546-558（2020；Zbl 07600802）
全文： 内政部 arXiv公司
达米安·巴斯托·加斯顿;查克拉波蒂，德布拉吉;Jean-François拉斯金

MDP符号建议引导的蒙特卡罗树搜索。 （英语） Zbl 07559496号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第40条，第24页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Busatto-Gaston}等人，LIPIcs——莱布尼茨国际程序。通知。171，第40条，第24页（2020；兹bl 07559496）
全文： 内政部 arXiv公司
塞皮德·阿萨迪;马丁·布利查;安蒂·海瓦里宁;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜

基于Farkas的树插值。 （英语） Zbl 1474.68321号

Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12389357-379（2020年）。
MSC公司：68T20型 03B70号 03C40号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Asadi}等人，Lect。注释计算。科学。12389，357--379（2020；Zbl 1474.68321）
全文： 内政部
罗曼·科尔巴科夫;米哈伊尔·波西普金

二叉树回溯搜索问题的某些并行化方案的最优性准则。 （英语） Zbl 1477.90041号

Jaćimović，Milojica（编辑）等人，《优化与应用》。2019年9月30日至10月4日，第十届国际会议，OPTIMA 2019，黑山Petrovac。修订了选定的论文。查姆：斯普林格。Commun公司。计算。信息科学。1145, 455-464 (2020).
MSC公司：90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Kolpakov}和\textit{M.Posypkin}，Commun。计算。信息科学。1145、455--464（2020；Zbl 1477.90041）
全文： 内政部
Zaw、Hein Htoo;斯文·莱恩

使用PRISM-games验证自学游戏的游戏策略。 （英语） Zbl 1458.68189号

Vasant，Pandian（编辑）等人，《智能计算与优化》。2019年第二届智能计算与优化国际会议（ICO 2019）会议记录，2019年10月3日至4日，泰国苏梅岛。查姆：斯普林格。高级智能。系统。计算。1072, 148-159 (2020).
MSC公司：68T05型 60年第68季度 91A26型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{H.H.Zaw}和\textit{S.Z.Hlaing}，高级情报。系统。计算。1072148-159（2020年；Zbl 1458.68189）
全文： 内政部
丹尼尔·雷夫斯特克;托尔斯滕·恩格斯;罗伯特·马特米勒;伯恩哈德·内贝尔

使用蒙特卡罗树搜索的认知多智能体规划。 （英语） Zbl 1519.68291号

Benzmüller，Christoph（编辑）等人，KI 2019：人工智能的进展。第42届德国人工智能会议，2019年9月23日至26日，德国卡塞尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11793, 277-289 (2019).
MSC公司：68T42型 68T20型 68T27型 68立方英尺 91A12号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Reifsteck}等人，Lect。注释计算。科学。11793，277--289（2019；Zbl 1519.68291）
全文： 内政部
Kohei山田;陈志忠;王路生

rSPR距离和杂交数的更好的实用算法。 （英语） Zbl 1495.92050

Huber，Katharina T.（编辑）等人，第19届生物信息学算法国际研讨会，WABI 2019，美国纽约尼亚加拉瀑布城，2019年9月8日至10日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。143，第5条，第12页（2019年）。
MSC公司：第92天 68周25 92-08
PDF格式BibTeX公司 XML格式引用
\textit{K.Yamada}等人，LIPIcs——莱布尼茨国际程序。通知。143，第5条，第12页（2019年；Zbl 1495.92050年）
全文： 内政部
桑卡迪普查克拉波蒂;Kunihiko Sadakane

索引图搜索树和应用程序。 （英语） 兹伯利07561711

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第67条，第14页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}和\textit{K.Sadakane}，LIPIcs——莱布尼茨国际程序。通知。138，第67条，第14页（2019年；Zbl 07561711）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件