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)
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)
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)
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)
InteriorNet公司 在0个文档中引用 软件作者: 李文斌、萨贾德·赛义迪、约翰·麦科马克、罗纳德·克拉克、迪莫斯·祖马尼卡斯、青叶、黄玉忠、唐瑞、斯特凡·卢特内格 相关软件: PointSIFT;VoxNet;PointNet… 主要字段: ——
结构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网络… 主要字段: ——