×

找到30个文档（结果1-30）

最新的 引文 关联
卡雷尔·奇瓦洛夫斯克;Jakubův，简;米罗斯拉夫·奥沙克;约瑟夫·乌尔班

学习定理证明组件。 （英语） Zbl 07532521号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 266-278 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Chvalovsk}等人，Lect。注释计算。科学。12842、266--278（2021；Zbl 07532521）
全文： 内政部 arXiv公司
购买，Helen C。;丹尼尔·阿坎鲍尔;斯蒂芬·科波罗夫;马丁·诺伦堡;谢尔盖·普皮耶夫;吴湘云

图绘制算法的图灵测试。 （英语） Zbl 07436638号

Auber，David（编辑）等人，《图形绘制和网络可视化》。2020年9月16日至18日，加拿大不列颠哥伦比亚省温哥华，2020年第28届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12590, 466-481 (2020).
MSC公司：68兰特 68单位05
PDF格式BibTeX公司 XML格式引用
\textit｛H.C.Purchase｝等人，Lect。注释计算。科学。12590，466--481（2020；Zbl 07436638）
全文： 内政部 arXiv公司 链接
阿米拉·梅迪亚纳;Hong，Seok-Hee先生;彼得·伊德斯

动态图形绘制的新质量指标。 （英语） Zbl 07436637号

Auber，David（编辑）等人，《图形绘制和网络可视化》。第28届国际研讨会，2020年GD，加拿大不列颠哥伦比亚省温哥华，2020年9月16-18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12590, 450-465 (2020).
MSC公司：68兰特 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{A.Meidiana}等人，Lect。注释计算。科学。12590、450-465（2020；Zbl 07436637）
全文： 内政部 arXiv公司
雷扬·艾哈迈德;费利斯·德卢卡;萨宾·德夫科塔;斯蒂芬·科波罗夫;李明伟

通过梯度下降绘制图形，\（（GD）^2\）。 （英语） Zbl 07436603号

Auber，David（编辑）等人，《图形绘制和网络可视化》。第28届国际研讨会，2020年GD，加拿大不列颠哥伦比亚省温哥华，2020年9月16-18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12590, 3-17 (2020).
MSC公司：68兰特 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{R.Ahmed}等人，Lect。注释计算。科学。12590，3-17（2020；Zbl 07436603）
全文： 内政部 arXiv公司
哈米什·卡尔;朱利安·蒂尔尼;冈瑟·H·韦伯。

Reeb分析的病理和测试案例。 （英语） Zbl 1465.68261号

Carr，Hamish（编辑）等人，数据分析和可视化中的拓扑方法V.理论、算法和应用。根据2017年2月27日至28日在日本东京举行的TopoInVis研讨会上的演示文稿选出的论文。查姆：斯普林格。数学。视觉。，103-120 (2020).
MSC公司：68单位03
PDF格式BibTeX公司 XML格式引用
\textit{H.Carr}等人，in：数据分析和可视化中的拓扑方法V.理论、算法和应用。根据2017年2月27日至28日在日本东京举行的TopoInVis研讨会上的演示文稿选出的论文。查姆：斯普林格。103-120（2020年；兹比尔1465.68261）
全文： 内政部 链接
萨宾·德夫科塔;雷扬·艾哈迈德;费利斯·德卢卡;凯瑟琳·艾萨克斯（Katherine E.Isaacs）。;斯蒂芬·科波罗夫

应力-Plus-X（SPX）图形布局。 （英语） Zbl 07266124号

Daniel Archambault（编辑）等人，《图形绘制和网络可视化》。2019年GD第27届国际研讨会，2019年9月17日至20日，捷克共和国布拉格。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11904, 291-304 (2019).
MSC公司：68兰特 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{S.Devkota}等人，Lect。注释计算。科学。11904、291--304（2019；Zbl 07266124）
全文： 内政部 arXiv公司
阿米拉·梅迪亚纳;Hong，Seok-Hee先生;彼得·伊德斯;丹尼尔·凯姆

图形中簇可视化的质量度量。 （英语） Zbl 07266111号

Daniel Archambault（编辑）等人，《图形绘制和网络可视化》。2019年GD第27届国际研讨会，2019年9月17日至20日，捷克共和国布拉格。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11904, 125-138 (2019).
MSC公司：68兰特 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{A.Meidiana}等人，Lect。注释计算。科学。11904、125--138（2019；Zbl 07266111）
全文： 内政部 arXiv公司
卢卡·卡斯泰利（Luca Castelli Aleardi）;丹尼斯，加斯帕德;埃里克·福西

三角剖分的快速球面绘制：图形绘制工具的实验研究。 （英语） Zbl 1493.68260号

D'Angelo，Gianlorenzo（编辑），第17届实验算法研讨会，SEA 2018，2018年6月27日至29日，意大利拉奎拉。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。103，第24条，第14页（2018年）。
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛L.C.Aleardi｝等人，LIPIcs——莱布尼茨国际期刊。通知。103，第24条，第14页（2018；Zbl 1493.68260）
全文： 内政部
默沙克·奥科;拉杜·加努;斯蒂芬·科波罗夫

重新进行了节点链接和矩阵表示的实验比较。 （英语） Zbl 1503.68230号

Frati，Fabrizio（编辑）等人，《图形绘制和网络可视化》。第25届国际研讨会，2017年GD，2017年9月25日至27日，美国马萨诸塞州波士顿。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10692, 287-302 (2018).
MSC公司：68兰特 05C62号
PDF格式BibTeX公司 XML格式引用
\textit{M.Okoe}等人，Lect。注释计算。科学。10692，287--302（2018；Zbl 1503.68230）
全文： 内政部 arXiv公司 链接
北卡罗来纳州列别丁斯卡娅。;Lebedinskii博士。;亚历山大·亚历山德罗维奇·斯米尔诺夫

关于五个直接和的子空间交点的可能维数。 （英语。俄文原件） Zbl 1370.05031号

数学杂志。科学。，纽约 224，第6期，937-941（2017）; Zap的翻译。诺什。塞明。POMI 453189-197（2016）。
MSC公司：05B35号 52B40码 15A03号
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Lebedinskaya}等人，《数学杂志》。科学。，纽约224，No.6，937--941（2017；Zbl 1370.05031）；Zap的翻译。诺什。塞明。POMI 453189-197（2016）
全文： 内政部
北卡罗来纳州列别丁斯卡娅。;Lebedinskii博士。

关于子空间交集的可能维数。 （英语。俄文原件） Zbl 1370.05030号

维斯特。圣彼得堡大学数学。 49，第2期，115-118（2016）; 维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。3（61），第202-207号（2016）。
MSC公司：05B35号 52B40码 15A03号
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Lebedinskaya}和\textit{D.M.Lebedinkii}，Vestn。圣彼得堡大学数学。49，编号2，115-118（2016；兹bl 1370.05030）；维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。3（61），第2号，202--207（2016）
全文： 内政部
马耳他省斯坎巴特;蒂尔·坦托

动态树的脱机绘制：算法和文档集成。 （英语） 兹比尔1478.68260

胡一凡（编）等，图形绘制与网络可视化。2016年9月19-21日在希腊雅典举行的2016年GD第24届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9801, 572-586 (2016).
MSC公司：68兰特 05二氧化碳 2017年第68季度 68单位15
PDF格式BibTeX公司 XML格式引用
\textit{M.Skambath}和\textit{T.Tantau}，莱克特。注释计算。科学。9801572--586（2016；Zbl 1478.68260）
全文： 内政部 arXiv公司
弗朗索瓦州施瓦岑特鲁伯;郝金高

通过局部搜索从区域连接演算规范中绘制欧拉图。 （英语） Zbl 1362.68276号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-11557-3/pbk）。计算机科学课程讲稿8761。人工智能课堂讲稿，582-590（2014）。
MSC公司：68立方英尺 68T20型 68T27型 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{F.Schwarzentruber}和\textit{J.-K.Hao}，Lect。注释计算。科学。8761582--590（2014年；Zbl 1362.68276）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件