×

找到39个软件包(结果1-39)

z3(零3)

760份文件引用(2001–2024)
软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳
相关软件: CVC4;SMT-LIB;Yices…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SLAM公司

127篇文献引用(2001–2023)
软件作者: 托马斯·鲍尔(Thomas Ball);Rajamani,Sriram K。
相关软件: 爆炸;自旋蛋白;班德拉…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…

MonoSLAM公司

32篇文献引用(2008–2022)
软件作者: A.J.Davison、I.D.Reid、N.D.Molton、O.Stasse
相关软件: SIFT;FastSLAM;SURF…
主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

卫星抗体

在35份文件中引用(2005–2020)
软件作者: Clarke,E.,Kroning,D.,Sharygina,N.,Yorav,K。
相关软件: 爆炸;灌篮;CPA检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

ORB-SLAM2

22篇文献引用(2016–2023)
软件作者: 劳尔·穆尔·阿尔塔尔(Raul Mur-Artal)、胡安·德·塔尔多斯(Juan D.Tardos)、J.M.M.蒙蒂尔(J.M.Montiel)、多里安·加尔韦兹·洛佩兹(Dorian Galvez-Lopez)
相关软件: ORB-SLAM;冲浪;基蒂…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

SE同步

21篇文献引用(2018–2023)
软件作者: David M.Rosen、Luca Carlone、Afonso S.Bandeira、John J.Leonard
相关软件: SDPLR;SDPT3;Manopt…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

匕首

15篇文献引用(2008–2021)
软件作者: 巴加夫S.古拉瓦尼。;查克拉波蒂,苏普拉蒂克;阿迪蒂亚·诺里(Aditya V.Nori)。;Rajamani,Sriram K。
相关软件: PPL;停机坪;SLAM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

YASM公司

15篇文献引用(2006–2023)
软件作者: Arie Gurfinkel、Ou Wei、Marsha Chechik
相关软件: 灌篮;爆炸;CUDD…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LSD-SLAM系统

12份文件引用(2015–2022)
软件作者: 雅各布·恩格尔、托马斯·舍普斯、丹尼尔·克莱默斯
相关软件: ORB-SLAM2;DTAM;SVO…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

ORB-SLAM(砰砰声)

15篇文献引用(2016–2023)
软件作者: 劳尔·穆阿尔塔;J.M.M.蒙蒂尔;胡安·塔尔多斯
相关软件: ORB-SLAM2;冲浪;MonoSLAM…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

YOGI公司

13份文件引用(2010–2022)
软件作者: Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur
相关软件: z3;投掷;可爱…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

科根(Cogent)

11份文件引用(2005–2018)
软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜
相关软件: 卫星抗体;简化;旋转…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

高速缓冲存储器

11份文件引用(2012–2021)
软件作者: Grebenshchikov,S.、Gupta,A.、Lopes,N.P.、Popeea,C.、Rybalchenko,A。
相关软件: z3;CiaoPP;再见…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

3D-R2N2型

引用于8份文件(2019–2021)
软件作者: Christopher B.Choy、Danfei Xu、JunYoung Gwak、Kevin Chen、Silvio Savarese
相关软件: ShapeNet;PointNet;亚当…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

氧化亚汞

9份文件引用(2014–2021)
软件作者: Kummerle,R.、Grisetti,G.、Strasdat,H.、Konolige,K.、Burgard,W。
相关软件: iSAM2;KinectFusion;SE同步…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

砰地关上

1份文件引用(2018)
软件作者: 库尔特·霍尼克(Kurt Hornik)、大卫·梅耶(David Meyer)、克里斯蒂安·布赫塔(Christian Buchta)
相关软件: R;tm;矩阵…
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

SLAM公司

3份文件引用(2005–2015)
软件作者: Alexandersson,M.、Cawley,S.、Pachter,L。
相关软件: 爆炸;ECgene;PSI-BLAST…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

交流合成孔径雷达

3份文件引用(2009–2011)
软件作者: Seghir,M.N.,Podelski,A。
相关软件: 灌篮;卫星抗体;简单…
主要字段: 计算机科学(68-XX)

ExonHunter公司

3份文件引用(2007–2008)
软件作者: 布雷乔娃,B。;Brown,D.G。;李,M。;T·维纳。
相关软件: ESTScan;GlimmerHMM;TigrScan…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

OpenSLAM(开放SLAM)

引用于2份文件(2009–2019)
软件作者: Stachniss C、Frese U、Grisetti G
相关软件: iSAM2;github;萝卜…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

公共事业部

4份文件引用(2014–2021)
软件作者: 宋,F。;T·图利。
相关软件: 贝博普;自旋蛋白
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Rcplex公司

4份文件引用(2012–2019)
软件作者: 赫克托·科拉达·布拉沃;Stefan Theussl;库尔特·霍尼克
相关软件: 运输;DOT标记;EMD…
主要字段: 常微分方程(34-XX);统计学(62-XX);数值分析(65-XX)…

超级胶水

3份文件引用(2021–2022)
软件作者: 保尔·伊杜亚德·萨林、丹尼尔·德通、托马斯·马利西维奇、安德鲁·拉比诺维奇
相关软件: D2-Net;上下文描述;ASL加热…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

总经理

引用于2份文件(2019–2021)
软件作者: JiaWang Bian、Wen-Yan Lin、Yasuyuki Matsushita、Sai-Kit Yeung、Tan-Dat Nguyen、Ming-Ming Cheng
相关软件: D2-Net;SuperPoint;HPatches…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

SeqSLAM软件

3份文件引用(2018–2020)
软件作者: 米尔福德MJ,惠氏GF
相关软件: ORB-SLAM2;NeuroSLAM;ORB-SLAM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

融合++

1份文件引用(2021)
软件作者: 约翰·麦科马克(John McCormac)、罗纳德·克拉克(Ronald Clark)、迈克尔·布洛施(Michael Bloesch)、安德鲁·戴维森(Andrew J.Davison)、斯特凡·卢特内格(Stefan Leutenger)
相关软件: VoxelNet;深层语境;PPFNet…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

全球通信网络2

引用于2份文件(2020)
软件作者: 唐J.、埃里克森L.、福克森J.、詹斯费尔特P。
相关软件: 扇形;贝叶斯概率;Matlab…
主要字段: 计算机科学(68-XX)

NeuroSLAM公司

引用于2份文件(2019–2020)
软件作者: 于方文;尚、江亚;胡友健;米尔福德
相关软件: SeqSLAM;ORB-SLAM2;ORB-SLAM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

开放率SLAM

引用于2份文件(2019–2021)
软件作者: 鲍尔·D。;希思,S。;Wiles,J。;惠氏,G。;科克,P。;米尔福德,M。
相关软件: 亚当;DTAM;SeqSLAM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

RT-SLAM飞机

1份文件引用(2016)
软件作者: C.Roussillon、A.Gonzalez、J.Solfia、J.-M.Codol、N.Mansard、S.Lacroix、M.Devy
相关软件: DTAM;ORB-SLAM2;基蒂…
主要字段: 计算机科学(68-XX)

AdQSM公司

在0个文档中引用
软件作者: Fan,G.,Nan,L.,Dong,Y.,Su,X.,Chen,F。
相关软件: AdTree;libigl;CGAL…
主要字段: ——

三维数字电视

1份文件引用(2007)
软件作者: 安德烈亚斯·努埃克特(Andreas Nuechter);凯·林格曼;多里特·博尔曼
相关软件: ——
主要字段: 计算机科学(68-XX)

GSLAM公司

1份文件引用(2022)
软件作者: 赵勇、徐世彪、卜树慧、蒋洪凯、韩鹏程
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX)

InteriorNet公司

在0个文档中引用
软件作者: 李文斌、萨贾德·赛义迪、约翰·麦科马克、罗纳德·克拉克、迪莫斯·祖马尼卡斯、青叶、黄玉忠、唐瑞、斯特凡·卢特内格
相关软件: PointSIFT;VoxNet;PointNet…
主要字段: ——

MSLAM公司

1份文件引用(2016)
软件作者: Jaulin,L。
相关软件: 杆;数字;CPGraph(CPGraph)
主要字段: 运筹学,数学编程(90-XX)

结构SLAM

1份文件引用(2022)
软件作者: Zhou,H.,Zou,D.,Pei,L.,Ying,R.,Liu,P.,Yu,W。
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX)

曲面网格化

1份文件引用(2022)
软件作者: Thomas Schöps、Torsten Sattler、Marc Pollefeys
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX)

塔坦航空公司

在0个文档中引用
软件作者: 王文山、朱德龙、王向伟、胡耀宇、邱玉恒、王晨、胡亚飞、Ashish Kapoor、Sebastian Scherer
相关软件: EPC;DeMoN;MVS网络…
主要字段: ——

ModReg公司

在0个文档中引用
软件作者: 托马斯·科努塔;马西耶·斯特凡奇克
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件