×

Found 93 Software Packages (Results 1–93)

DeepLab

Software Authors:   Liang-Chieh Chen, George Papandreou, Iasonas Kokkinos, Kevin Murphy, Alan L. Yuille
Cited in: 39 Publications (2018–2022)
Related Software: ImageNet; AlexNet; Faster R-CNN; U-Net; MS-COCO; PASCAL VOC; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

LoTREC

Software Authors:   Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad
Cited in: 27 Publications (2001–2022)
Related Software: PVS; E Theorem Prover; MetTeL; MSPASS; TWB; TABLEAUX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

PLT Redex

Software Authors:   Felleisen, Matthias; Findler, Bruce; Flatt, Matthew
Cited in: 22 Publications (2009–2022)
Related Software: K Prover; Coq; Haskell; K tool; Ott; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

TRIPLE

Software Authors:   Sintek, Michael; Decker, Stefan
Cited in: 16 Publications (2002–2015)
Related Software: SPARQL; Smodels; swrl; XSB; DAML+OIL; RuleML; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-XX)

MobileNetV2

Software Authors:   Mark Sandler, Andrew Howard, Menglong Zhu, Andrey Zhmoginov, Liang-Chieh Chen
Cited in: 12 Publications (2020–2022)
Related Software: ImageNet; ShuffleNet; MobileNets; AlexNet; Xception; EfficientNet; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

semprop

Software Authors:   Letz, Reinhold
Cited in: 16 Publications (2002–2021)
Related Software: Quaffle; QUBOS; Bloqqer; MiniSat; DepQBF; QUBE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ShapeNet

Software Authors:   Angel X. Chang, Thomas Funkhouser, Leonidas Guibas, Pat Hanrahan, Qixing Huang, Zimo Li, Silvio Savarese, Manolis Savva, Shuran Song, Hao Su, Jianxiong Xiao, Li Yi, Fisher Yu
Cited in: 13 Publications (2018–2022)
Related Software: PointNet; 3D-R2N2; Pixel2Mesh; Adam; ImageNet; MeshLab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

AllenNLP

Software Authors:   AllenAI
Cited in: 1 Publication (2021)
Related Software: PyTorch; BERT; Python; TensorFlow; fairseq; spaCy; …
Main Fields: Computer science (68-XX)

CompCertTSO

Software Authors:   Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter
Cited in: 12 Publications (2013–2019)
Related Software: Coq; CompCert; CompCertS; Paco; GCminor; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

metapath2vec

Software Authors:   Yuxiao Dong, Nitesh V Chawla, Ananthram Swami
Cited in: 10 Publications (2018–2021)
Related Software: node2vec; DeepWalk; word2vec; GraRep; PTE; PyTorch; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Cited in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

N3Logic

Software Authors:   Berners-Lee, Tim; Connolly, Dan; Kagal, Lalana; Scharf, Yosi; Hendler, Jim
Cited in: 7 Publications (2008–2017)
Related Software: MWeb; SPARQL; Smodels; TRIPLE; foaf; Graal; …
Main Fields: Computer science (68-XX)

OMT-G

Software Authors:   Borges, Karla A.V.; Davis, Clodoveu A.jun.; Leander, Alberto H.F.
Cited in: 4 Publications (2001–2010)
Related Software: Racer; FaCT++; DB2; Oracle; DISTIL
Main Fields: Computer science (68-XX)

PR-OWL

Software Authors:   Carvalho, Rommel N.; Laskey, Kathryn B.; Costa, Paulo C.G.
Cited in: 9 Publications (2014–2021)
Related Software: IBAL; BayesOWL; BLOG; BUGS; MEBN; OntoDLV; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)

BDD100k

Software Authors:   Yu F., Xian W., Chen Y., Liu F., Liao M., Madhavan V., et al.
Cited in: 3 Publications (2020–2022)
Related Software: Cityscapes; U-Net; ImageNet; KITTI; ApolloScape; Mapillary Vistas; …
Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX)

TCOZ

Software Authors:   Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai
Cited in: 8 Publications (2002–2018)
Related Software: Circus; Eiffel; Uppaal; Z; CSPsim; SCOOP; …
Main Fields: Computer science (68-XX)

Swin Transformer

Software Authors:   Ze Liu, Yutong Lin, Yue Cao, Han Hu, Yixuan Wei, Zheng Zhang, Stephen Lin, Baining Guo
Cited in: 6 Publications (2022)
Related Software: ImageNet; ViT; PyTorch; MS-COCO; KITTI; TransGAN; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ApolloScape

Software Authors:   Huang X., Cheng X., Geng Q., Cao B., Zhou D., Wang P., et al.
Cited in: 1 Publication (2021)
Related Software: KITTI; H3D; Mapillary Vistas; Cityscapes; MS-COCO; ImageNet; …
Main Fields: Computer science (68-XX)

CyCADA

Software Authors:   Judy Hoffman, Eric Tzeng, Taesung Park, Jun-Yan Zhu, Phillip Isola, Kate Saenko, Alexei A. Efros, Trevor Darrell
Cited in: 5 Publications (2020–2022)
Related Software: CycleGAN; pix2pix; AlexNet; ImageNet; Adam; CIFAR; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

SyncSpecCnn

Software Authors:   Li Yi, Hao Su, Xingwen Guo, Leonidas Guibas
Cited in: 5 Publications (2018–2022)
Related Software: PointNet; SpectralNet; GSPBOX; CIFAR; AR face; CMU PIE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

Theories

Software Authors:   Suárez, Mauricio; Cartwright, Nancy
Cited in: 6 Publications (2012–2020)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Differential geometry (53-XX)

code2vec

Software Authors:   Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav
Cited in: 2 Publications (2022)
Related Software: word2vec; Adam; Devign; CodeBERT; GraphCodeBERT; MISIM; …
Main Fields: Computer science (68-XX)

GME

Software Authors:   Vanderbilt University
Cited in: 2 Publications (2009–2014)
Related Software: Python; MetaEdit+; AToM3; GReAT; XASM; ATL; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Mechanized Semantic Library

Software Authors:   Appel, A.W., Dockins, R., Hobor, A
Cited in: 5 Publications (2011–2015)
Related Software: Coq; pthreads; Boogie; Rtac; ModuRes; VeriSmall
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

Simlex-999

Software Authors:   Hill, F.; Reichart, R.; Korhonen, A
Cited in: 4 Publications (2016–2021)
Related Software: GloVe; word2vec; Wikipedia2Vec; SBERT; BERT; StanfordCoreNLP; …
Main Fields: Computer science (68-XX)

TransGAN

Software Authors:   Yifan Jiang, Shiyu Chang, Zhangyang Wang
Cited in: 1 Publication (2022)
Related Software: ImageNet; PyTorch; Python; LoFTR; FBNetV2; Face2Face; …
Main Fields: Computer science (68-XX)

Lem

Software Authors:   Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter
Cited in: 3 Publications (2011–2021)
Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; …
Main Fields: Computer science (68-XX)

LOGLAN

Software Authors:   Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek
Cited in: 4 Publications (1985–2016)
Related Software: Simula 67; BETA
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ModuRes

Software Authors:   Sieczkowski, Filip; Bizjak, Aleš; Birkedal, Lars
Cited in: 4 Publications (2015–2020)
Related Software: Coq; Kami; Archive Formal Proofs; GitHub; UTPCalc; Circus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

subgraph2vec

Software Authors:   Annamalai Narayanan, Mahinthan Chandramohan, Lihui Chen, Yang Liu, Santhoshkumar Saminathan
Cited in: 2 Publications (2019–2020)
Related Software: node2vec; Python; FastDTW; RolX; struc2vec; SchNet; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

InfoGraph

Software Authors:   Fan-Yun Sun, Jordan Hoffmann, Vikas Verma, Jian Tang
Cited in: 1 Publication (2021)
Related Software: CogDL; PyTorch; StellarGraph; XGNN; MoleculeNet; GNNExplainer; …
Main Fields: Computer science (68-XX)

LSCrawler

Software Authors:   M. Yuvarani, N.C.S.N. Iyengar, A. Kannan
Cited in: 0 Publications
Related Software: Swoogle; SPARQL
Main Fields: Systems theory; control (93-XX)

MetaEnv

Software Authors:   Baresi, Luciano; Pezzè, Mauro
Cited in: 2 Publications (2002–2007)
Related Software: AToM3; PROGRES; VPM; AGG; GenGED; LEMMA; …
Main Fields: Computer science (68-XX)

NNexus

Software Authors:   Gardner, J.; Krowne, A.; Li Xiong
Cited in: 3 Publications (2011–2016)
Related Software: MMT; SMGLoM; sTeX; GitHub; OMDoc; WordNet; …
Main Fields: Computer science (68-XX)

ScanComplete

Software Authors:   Angela Dai, Daniel Ritchie, Martin Bokeloh, Scott Reed, Jürgen Sturm, Matthias Nießner
Cited in: 2 Publications (2019–2020)
Related Software: PointNet; PointSIFT; SPLATNet; ScanNet; SceneNN; InteriorNet; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SemanticKITTI

Software Authors:   Jens Behley, Martin Garbade, Andres Milioto, Jan Quenzel, Sven Behnke, Cyrill Stachniss, Juergen Gall
Cited in: 0 Publications
Related Software: KITTI; ADE20k; Mapillary Vistas; MS-COCO; DeepLab; PointNet; …
Main Fields:

SICK

Software Authors:   M. Marelli, S. Menini, M. Baroni, L. Bentivogli, R. Bernardi, R. Zamparelli
Cited in: 2 Publications (2022)
Related Software: MS-COCO; FraCaS; LangPro; RxR; DARPA TIMIT; Tensor2Tensor; …
Main Fields: Computer science (68-XX)

TopicRNN

Software Authors:   Adji B. Dieng, Chong Wang, Jianfeng Gao, John Paisley
Cited in: 2 Publications (2019–2020)
Related Software: TensorFlow; DARTS; cmix; Penn Treebank; BERT; PyTorch; …
Main Fields: Computer science (68-XX)

cddiff

Software Authors:   Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe
Cited in: 1 Publication (2018)
Related Software: WhyLine; VERMEER; Whispec; Bordeaux; CD2Alloy; CompoSAT; …
Main Fields: Computer science (68-XX)

DeepGCNs

Software Authors:   Guohao Li, Matthias Müller, Ali Thabet, Bernard Ghanem
Cited in: 0 Publications
Related Software: GraphSAGE; DropEdge; DGL; PyTorch; CayleyNets; FastGCN; …
Main Fields:

Genoviz

Software Authors:   Helt GA, Nicol JW, Erwin E, Blossom E, Blanchard SG, Chervitz SA et al
Cited in: 1 Publication (2016)
Related Software: Galaxy; ROAST; featureCounts; Rsubread; recount; PROPER; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

OpenSALICON

Software Authors:   Christopher Lee Thomas
Cited in: 1 Publication (2019)
Related Software: SUN; SalGAN; DeepGaze II; Caffe; gbvs; Saliency Benchmark; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

PTTP+GLiDeS

Software Authors:   Marianne Brown; Geoff Sutcliffe
Cited in: 2 Publications (2000–2002)
Related Software: SCOTT; TPTP; SETHEO
Main Fields: Computer science (68-XX)

SemanticVectors

Software Authors:   Widdows, D., Ferraro, K.
Cited in: 2 Publications (2009–2010)
Related Software: NETBOOK; CmapTools
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

XDist

Software Authors:   Gao, Ning; Deng, Zhihong; Lü, Shenglong
Cited in: 1 Publication (2017)
Related Software: XPath; XQuery
Main Fields: Computer science (68-XX)

Alma

Software Authors:   Oancea, Cosmin E.; Watt, Stephen M.
Cited in: 1 Publication (2005)
Related Software: AXIOM; ALDOR; Maple
Main Fields: Computer science (68-XX)

AutoOD

Software Authors:   Yuening Li, Zhengzhang Chen, Daochen Zha, Kaixiong Zhou, Haifeng Jin, Haifeng Chen, Xia Hu
Cited in: 0 Publications
Related Software: Meta-AAD; PyOD; PyODDS; Python; TODS
Main Fields:

BlenderProc

Software Authors:   M. Denninger, M. Sundermeyer, D. Winkelbauer, D. Olefir, T. Hodan, Y. Zidan, M. Elbadrawy, M. Knauer, H. Katam, A. Lodhi
Cited in: 0 Publications
Related Software: CAD2RL; NDDS; Stillleben; ZeroMQ; ImageNet; Adam; …
Main Fields:

BTM

Software Authors:   Jan Wijffels: BNOSAC; Xiaohui Yan
Cited in: 0 Publications
Related Software: TopicCheck; LDAvis; text2vec; stminsights; stm; tosca; …
Main Fields:

Celows

Software Authors:   Ely Edison Matos; Fernanda Campos; Regina Braga; Daniele Palazzia
Cited in: 0 Publications
Related Software: VisTrails
Main Fields:

CoCoSUM

Software Authors:   Yanlin Wang, Ensheng Shi, Lun Du, Xiaodi Yang, Yuxuan Hu, Shi Han, Hongyu Zhang, Dongmei Zhang
Cited in: 0 Publications
Related Software: GraphCodeBERT; Devign; MISIM; StaQC; Bugram; GLUE; …
Main Fields:

CodeBLEU

Software Authors:   Shuo Ren, Daya Guo, Shuai Lu, Long Zhou, Shujie Liu, Duyu Tang, Neel Sundaresan, Ming Zhou, Ambrosio Blanco, Shuai Ma
Cited in: 0 Publications
Related Software: GraphCodeBERT; Devign; MISIM; StaQC; CoCoSUM; Bugram; …
Main Fields:

DARR

Software Authors:   Lupea, Mihaiela
Cited in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

DGMS

Software Authors:   Xiang Ling, Lingfei Wu, Saizhuo Wang, Gaoning Pan, Tengfei Ma, Fangli Xu, Alex X Liu, Chunming Wu, Shouling Ji
Cited in: 0 Publications
Related Software: GitHub; PyMT5; tox; Anaconda; pandas; Transformers; …
Main Fields:

dypro

Software Authors:   Ke Wang
Cited in: 0 Publications
Related Software: DeepFix; sk_p; MOOC; PHOG
Main Fields:

fastTopics

Software Authors:   Carbonetto, P., Luo, K., Dey, K., Hsiao, J., Stephens, M.
Cited in: 1 Publication (2021)
Related Software: CountClust; GitHub
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

FEE

Software Authors:   Vaibhav Kumar, Tenzin Singhay Bhotia, Vaibhav Kumar
Cited in: 0 Publications
Related Software: NumPy; Matplotlib; WEFE; GloVe; PyTorch
Main Fields:

FFCI

Software Authors:   Koto, Fajri; Baldwin, Timothy; Lau, Jey Han
Cited in: 1 Publication (2022)
Related Software: BART; MoverScore; HIBERT; PEGASUS; BottleSum; BiSET; …
Main Fields: Computer science (68-XX)

ForceReader

Software Authors:   –
Cited in: 0 Publications
Related Software: HILDIF; QANet; ERNIE; SQuAD; ContractNLI; ALBERT; …
Main Fields:

FScaFi

Software Authors:   Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
Cited in: 1 Publication (2021)
Related Software: TuSoW; xarray; Featherweight Java; Matplotlib
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GenCCSL

Software Authors:   Mallet, Frédéric; Zholtkevych, Grygoriy
Cited in: 1 Publication (2015)
Related Software: TimeSquare; CCSL
Main Fields: Computer science (68-XX)

GraphCodeBERT

Software Authors:   Daya Guo, Shuo Ren, Shuai Lu, Zhangyin Feng, Duyu Tang, Shujie Liu, Long Zhou, Nan Duan, Alexey Svyatkovskiy, Shengyu Fu, Michele Tufano, Shao Kun Deng, Colin Clement, Dawn Drain, Neel Sundaresan, Jian Yin, Daxin Jiang, Ming Zhou
Cited in: 0 Publications
Related Software: Devign; MISIM; StaQC; CoCoSUM; Bugram; GLUE; …
Main Fields:

GraphDBLP

Software Authors:   Mario Mezzanzanica, Fabio Mercorio, Mirko Cesarini, Vincenzo Moscato, Antonio Picariello
Cited in: 0 Publications
Related Software: GraphFrames; WebGraph; NetworkX; EmptyHeaded; Ligra; GraphLab; …
Main Fields:

JSNice

Software Authors:   Raychev, Veselin; Vechev, Martin; Krause, Andreas
Cited in: 1 Publication (2015)
Related Software: Merlin; TypeScript; JavaScript
Main Fields: Computer science (68-XX)

LSAfun

Software Authors:   Fritz Guenther
Cited in: 1 Publication (2019)
Related Software: data.table; caretEnsemble; aTSA; SnowballC; openNLP; recommenderlab; …
Main Fields: Computer science (68-XX)

MegaDepth

Software Authors:   Zhengqi Li, Noah Snavely
Cited in: 0 Publications
Related Software: D2-Net; SuperPoint; GANDissect; GMS; HPatches; COTR; …
Main Fields:

NEAT

Software Authors:   Kashyap Chitta, Aditya Prakash, Andreas Geiger
Cited in: 0 Publications
Related Software: Deformable DETR; PolarNet; DETR3D; Pseudo-LiDAR++; FCOS3D; FCOS; …
Main Fields:

OntCheck

Software Authors:   Lin, Xi; Zhang, Hehua; Gu, Ming
Cited in: 1 Publication (2013)
Related Software: Protege; swrl; Ptolemy; Pellet; Simulink
Main Fields: Computer science (68-XX)

oolong

Software Authors:   Chung-hong Chan
Cited in: 0 Publications
Related Software: TopicCheck; BTM; LDAvis; text2vec; stminsights; stm; …
Main Fields:

PAMTRI

Software Authors:   Zheng Tang, Milind Naphade, Stan Birchfield, Jonathan Tremblay, William Hodge, Ratnesh Kumar, Shuo Wang, Xiaodong Yang
Cited in: 0 Publications
Related Software: SCPNet; VERI-Wild; PROVID; ArcFace; PyTorch; FastReID
Main Fields:

Panoptic-DeepLab

Software Authors:   Bowen Cheng, Maxwell D. Collins, Yukun Zhu, Ting Liu, Thomas S. Huang, Hartwig Adam, Liang-Chieh Chen
Cited in: 0 Publications
Related Software: MaX-DeepLab; Axial-DeepLab; DeeperLab; ADE20k; UPSNet; Box2Pix; …
Main Fields:

PartNet

Software Authors:   Kaichun Mo, Shilin Zhu, Angel X. Chang, Li Yi, Subarna Tripathi, Leonidas J. Guibas, Hao Su
Cited in: 0 Publications
Related Software: Kaolin; gvnn; PointNet; GEOMetrics; MeshCNN; DeepSDF; …
Main Fields:

PyTorrent

Software Authors:   Mehdi Bahrami, N.C. Shrikanth, Shade Ruangwan, Lei Liu, Yuji Mizobuchi, Masahiro Fukuyori, Wei-Peng Chen, Kazuki Munakata, Tim Menzies
Cited in: 0 Publications
Related Software: GitHub; PyMT5; tox; Anaconda; pandas; Transformers; …
Main Fields:

RDFG

Software Authors:   Nada, Ahmed; Sartawi, Badie
Cited in: 1 Publication (2010)
Related Software:
Main Fields: Computer science (68-XX)

RENAS

Software Authors:   Yukang Chen, Gaofeng Meng, Qian Zhang, Shiming Xiang, Chang Huang, Lisen Mu, Xinggang Wang
Cited in: 0 Publications
Related Software: T2T-ViT; AutoSlim; FBNetV2; MnasNet; MEAL; MobileNetV2; …
Main Fields:

Replica Dataset

Software Authors:   Julian Straub, Thomas Whelan, Lingni Ma, Yufan Chen, Erik Wijmans, Simon Green, Jakob J. Engel, Raul Mur-Artal, Carl Ren, Shobhit Verma, Anton Clarkson, Mingfei Yan, Brian Budge, Yajie Yan, Xiaqing Pan, June Yon, Yuyang Zou, Kimberly Leon, Nigel Carter, Jesus Briales, Tyler Gillingham, Elias Mueggler, Luis Pesqueira, Manolis Savva, Dhruv Batra, Hauke M. Strasdat, Renzo De Nardi, Michael Goesele, Steven Lovegrove, Richard Newcombe
Cited in: 0 Publications
Related Software: RxR; REVERIE; Touchdown; Matterport3D; PanGEA
Main Fields:

RobustMRC

Software Authors:   Feiliang Ren, Yongkang Liu, Bochao Li, Shilei Liu, Bingchao Wang, Jiaqi Wang, Chunchao Liu, Qi Ma
Cited in: 0 Publications
Related Software: HILDIF; QANet; ERNIE; SQuAD; ContractNLI; ALBERT; …
Main Fields:

SemSegLoss

Software Authors:   Shruti Jadon
Cited in: 0 Publications
Related Software: Python
Main Fields:

SMS++

Software Authors:   The SMS++ Team; Frangioni, A., Iardella, N., Lobato, R.D.
Cited in: 1 Publication (2022)
Related Software: StochasticPrograms.jl; EAGO.jl; GLPK; Modelica; HYPE; HyperX; …
Main Fields: Operations research, mathematical programming (90-XX)

StructBERT

Software Authors:   Wei Wang, Bin Bi, Ming Yan, Chen Wu, Zuyi Bao, Jiangnan Xia, Liwei Peng, Luo Si
Cited in: 1 Publication (2022)
Related Software: CoQA; HellaSwag; ProofWriter; RuleTaker; NILE; Avicenna; …
Main Fields: Mathematical logic and foundations (03-XX)

STTM

Software Authors:   Jipeng Qiang, Yun Li, Yunhao Yuan, Wei Liu, Xindong Wu
Cited in: 0 Publications
Related Software:
Main Fields:

Swift

Software Authors:   Yi Wu, Lei Li, Stuart Russell, Rastislav Bodik
Cited in: 0 Publications
Related Software: BUGS; Venture; Church; Lasagne; Keras; Stan; …
Main Fields:

udpipe

Software Authors:   Jan Wijffels, Milan Straka, Jana Straková
Cited in: 0 Publications
Related Software: httr; tidytext; stm; jsonlite; tokenizers; rtweet; …
Main Fields:

UncertWeb

Software Authors:   L. Bastin, D. Cornford, R. Jones, G. B. M. Heuvelink, E. Pebesma, C. Stasch, S. Nativi, P. Mazzetti, M. Williams
Cited in: 0 Publications
Related Software: propagate; COSSAN; SAFE Toolbox; UQLab; SoilGrids250m; gstat; …
Main Fields:

ViP-DeepLab

Software Authors:   Siyuan Qiao, Yukun Zhu, Hartwig Adam, Alan Yuille, Liang-Chieh Chen
Cited in: 0 Publications
Related Software: MaX-DeepLab; Axial-DeepLab; DeeperLab; ADE20k; UPSNet; Box2Pix; …
Main Fields:

Visual7W

Software Authors:   Yuke Zhu, Oliver Groth, Michael Bernstein, Li Fei-Fei
Cited in: 1 Publication (2022)
Related Software: CLEVR; VQA; DeepProbLog; AQuA; NeurASP; CLEVR dataset; …
Main Fields: Computer science (68-XX)

WoodScape

Software Authors:   Senthil Yogamani, Ciaran Hughes, Jonathan Horgan, Ganesh Sistu, Padraig Varley, Derek O'Dea, Michal Uricar, Stefan Milz, Martin Simon, Karl Amende, Christian Witt, Hazem Rashed, Sumanth Chennupati, Sanjaya Nayak, Saquib Mansoor, Xavier Perroton, Patrick Perez
Cited in: 0 Publications
Related Software: BDD100k; CityPersons; H3D; NightOwls; TrafficPredict; PointPillars; …
Main Fields:

AlignNemo

Software Authors:   Giovanni Ciriello; Marco Mina; Pietro H. Guzzi; Mario Cannataro; Concettina Guerra
Cited in: 0 Publications
Related Software:
Main Fields:

LSDA

Software Authors:   Hoffman, Judy; Pathak, Deepak; Tzeng, Eric; Long, Jonathan; Guadarrama, Sergio; Darrell, Trevor; Saenko, Kate
Cited in: 0 Publications
Related Software:
Main Fields:

Mastrave

Software Authors:   Daniele de Rigo
Cited in: 0 Publications
Related Software:
Main Fields:

Molle

Software Authors:   mijio
Cited in: 0 Publications
Related Software:
Main Fields:

SCoRe

Software Authors:   Yu, T., R. Zhang, A. Polozov, C. Meek, A. H. Awadallah
Cited in: 0 Publications
Related Software:
Main Fields:

Spider

Software Authors:   Tao Yu, Rui Zhang, Kai Yang, Michihiro Yasunaga, Dongxu Wang, Zifan Li, James Ma, Irene Li, Qingning Yao, Shanelle Roman, Zilin Zhang, Dragomir Radev
Cited in: 0 Publications
Related Software:
Main Fields: