Search results for "DML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Mikael Pettersson, Peter Fritzson	DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.	ICCL	1992	DBLP DOI BibTeX RDF
87	Chaokun Wang, Jianzhong Li 0001, Shengfei Shi	HIT-DML: A Novel Digital Music Library.	ICADL	2003	DBLP DOI BibTeX RDF	Digital Music Library, Content-Based Music Information Retrieval
74	Michal Ruzicka, Petr Sojka, Vlastimil Krejcír	Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
71	Bernd Grobauer	Cost Recurrences for DML Programs.	ICFP	2001	DBLP DOI BibTeX RDF	ML
64	Johan Ringström, Peter Fritzson, Mikael Pettersson	Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.	CC	1994	DBLP DOI BibTeX RDF
64	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
55	Yi-Ping Phoebe Chen	DML: A Bridge between Database Systems and L-Systems for Biological Research.	SSDBM	1999	DBLP DOI BibTeX RDF	Database System Development, Advanced Application and Branching Systems, Bioinformatics, L-Systems
55	John Nations, Stanley Y. W. Su	Some DML Instruction Sequences for Application Program Analysis and Conversion.	SIGMOD Conference	1978	DBLP DOI BibTeX RDF	application program conversion, database conversion, program analysis and synthesis, database management, data manipulation language, schema change
51	Jacques Carette, David Aspinall 0001, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger (eds.)	Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Cezary Kaliszyk, Josef Urban	Automated Reasoning Service for HOL Light.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Patrick D. F. Ion	Mathematics and the World Wide Web.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Jónathan Heras, Ekaterina Komendantskaya	ML4PG in Computer Algebra Verification.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Matthew England 0001, Russell J. Bradford, James H. Davenport, David J. Wilson	Understanding Branch Cuts of Expressions.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Jónathan Heras, Gadea Mata, Ana Romero 0001, Julio Rubio 0001, Rubén Sáenz	Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Rein Prank	Software for Evaluating Relevance of Steps in Algebraic Transformations.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner	Certification of Bounds of Non-linear Functions: The Templates Method.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	William M. Farmer	The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Deyan Ginev, Bruce R. Miller	2012 - A Year of.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Christoph Lange 0002, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger	A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff	Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Chau Do, Eric J. Pauwels	Using MathML to Represent Units of Measurement for Improved Ontology Alignment.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Ursula Martin, Alison Pease	Mathematical Practice, Crowdsourcing, and Social Machines.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Ulf Schöneberg, Wolfram Sperber	The DeLiVerMATH Project - Text Analysis in Mathematics.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa	A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Dmitry E. Chebukov, Alexander D. Izaak, Olga G. Misyurina, Yuri A. Pupyrev, Alexey B. Zhizhchenko	Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber	swMATH - A New Information Service for Mathematical Software.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Eno Tõnisson	Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue	The Web Geometry Laboratory Project.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Christoph Lange 0002, Colin Rowat, Manfred Kerber	The ForMaRE Project - Formal Mathematical Reasoning in Economics.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Michael Kohlhase, Felix Mance, Florian Rabe 0001	A Universal Machine for Biform Theory Graphs.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Assia Mahboubi	The Rooster and the Butterflies.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Bruce R. Miller	Three Years of DLMF: Web, Math and Search.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Russell J. Bradford, James H. Davenport, Matthew England 0001, David J. Wilson	Optimising Problem Formulation for Cylindrical Algebraic Decomposition.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Paul Libbrecht	Escaping the Trap of Too Precise Topic Queries.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Shahab Kamali, Frank Wm. Tompa	Structural Similarity Search for Mathematics Retrieval.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers	Formal Mathematics on Display: A Wiki for Flyspeck.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Christoph Lüth, Martin Ring	A Web Interface for Isabelle: The Next Generation.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Steven Obua, Mark Adams, David Aspinall 0001	Capturing Hiproofs in HOL Light.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Miguel A. Abánades, Francisco Botana	A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Rui Hu, Stephen M. Watt	Determining Points on Handwritten Mathematical Symbols.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
51	Florian Rabe 0001	The MMT API: A Generic MKM System.	MKM/Calculemus/DML	2013	DBLP DOI BibTeX RDF
48	Junji Kitamichi, Koji Ueda, Kenichi Kuroda	A Modeling of a Dynamically Reconfigurable Processor Using SystemC.	VLSI Design	2008	DBLP DOI BibTeX RDF
48	Tao Xiang 0002, Shaogang Gong	Beyond Tracking: Modelling Activity and Understanding Behaviour.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	dynamic scene modelling, discrete event recognition, activity representation, behaviour recognition, dynamic probabilistic networks, Bayesian model selection, graph models
48	Yu-Shu Hu, Mohammad Modarres	Apply Fuzzy-Logic-Based Functional-Center Hierarchies as Inference Engines for Self-Learning Manufacture Process Diagnoses.	FSKD (2)	2005	DBLP DOI BibTeX RDF
48	Atsushi Ohori, Kazuhiko Kato	Semantics for Communication Primitives in an Polymorphic Language.	POPL	1993	DBLP DOI BibTeX RDF	ML
46	Augusto Verzbickas Costa, Patricia Vilain, Ronaldo dos Santos Mello	Uma Camada para o Mapeamento de Instruções SQL DML para o Banco de Dados NoSQL Chave-Valor Voldemort [A Layer for the Mapping Management of SQL DML Instructions to the Key-Value NoSQL Database Voldemort].	SBSI	2016	DBLP DOI BibTeX RDF
39	Randy H. Katz, Eugene Wong 0001	Decompiling CODASYL DML into Relational Queries.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	semantic data models, decompilation
32	David Ruddy	Assembling the Digital Mathematics Library.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
32	Chaokun Wang, Jianzhong Li 0001, Shengfei Shi	The design and implementation of a digital music library.	Int. J. Digit. Libr.	2006	DBLP DOI BibTeX RDF	Digital music libraries, Content-based music information retrieval, Music database systems, Music index structures
32	Shin-Mu Tseng, Ching-Fu Tsui	Mining multilevel and location-aware service patterns in mobile web environments.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
32	Shaogang Gong, Tao Xiang 0002	Recognition of Group Activities using Dynamic Probabilistic Networks.	ICCV	2003	DBLP DOI BibTeX RDF
32	Toon Calders, Jef Wijsen	On Monotone Data Mining Languages.	DBPL	2001	DBLP DOI BibTeX RDF
32	Martin Bever, Peter C. Lockemann	Database Hosting in Strongly-Typed Programming Languages.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
32	Henry F. Korth, Gabriel M. Kuper, Joan Feigenbaum, Allen Van Gelder, Jeffrey D. Ullman	System/U: A Database System Based on the Universal Relation Assumption.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
32	Marco A. Casanova, Philip A. Bernstein	A Formal System for Reasoning about Programs Accessing a Relational Database.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
32	Hongwei Xi	Unifying object-oriented programming with typed functional programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	DML, object-oriented, dependent types
32	Asuman Dogac, Esen A. Ozkarahan	A Generalized DBMS Implementation on a Database Machine.	SIGMOD Conference	1980	DBLP DOI BibTeX RDF	DML, E/R model query languages, GDBMS, RAP database machine, structural transformations, data models, schemas, operational transformations, database machines, associative processors, DDL
23	Mi Yan, Siu Cheung Hui, Ning Li 0008	DML-PL: Deep metric learning based pseudo-labeling framework for class imbalanced semi-supervised learning.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
23	Varun Prabhakaran, Ashokkumar Kulandasamy	mLBOA-DML: modified butterfly optimized deep metric learning for enhancing accuracy in intrusion detection system.	J. Reliab. Intell. Environ.	2023	DBLP DOI BibTeX RDF
23	Neetika Yadav, Neeta Pandey, Deva Nand	LDML: A Proposal to Reduce Leakage Power in DML Circuits.	Wirel. Pers. Commun.	2023	DBLP DOI BibTeX RDF
23	Luis Vallejo, Jan Bohata, José Mora, Stanislav Zvanovec, Beatriz Ortega	Remote mmW photonic local oscillator delivery for uplink down-conversion in DML-based optical hybrid C-RAN fronthaul.	J. Opt. Commun. Netw.	2023	DBLP DOI BibTeX RDF
23	Georges Gaillard, Fabienne Saliou, Jérémy Potet, Gaël Simon, Philippe Chanclou, Elena Durán-Valdeiglesias, Luiz Anet Neto, Michel Morvan, Bruno Fracasso	Real Time Assessments of DML and EML with 25G-class APD for Higher Speed PONs.	EuCNC/6G Summit	2023	DBLP DOI BibTeX RDF
23	Peiji Song, Zhouyi Hu, Yizhan Dai, Calvin Chun-Kit Chan	Nonlinear Distortion Mitigation with Non-Orthogonal DFT-precoding for DML-Based OFDM Optical Systems.	OFC	2023	DBLP DOI BibTeX RDF
23	Oskars Ozolins, Armands Ostrovskis, Toms Salgals, Benjamin Krüger 0001, Fabio Pittalà, Mahdieh Joharifar, Richard Schatz, Di Che, Yasuhiro Matsui, Thomas Dippon, Michael Koenigsmann, Yuchuan Fan, Marek Chacinski, Urban Westergren, Lu Zhang 0051, Haïk Mardoyan, Sandis Spolitis, Sergei Popov, Xianbin Yu, Markus Gruen, Vjaceslavs Bobrovs, Hadrien Louchet, Xiaodan Pang	Optical Amplification-Free 310/256 Gbaud OOK, 197/145 Gbaud PAM4, and 160/116 Gbaud PAM6 EML/DML-based Data Center Links.	OFC	2023	DBLP DOI BibTeX RDF
23	Junshi Xia, Naoto Yokoya, Gerald Baier	DML: Differ-Modality Learning for Building Semantic Segmentation.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
23	Shuqi Li, Yang Qin 0001, Zukai Jiang, Weihong Yang	Efficient Communication Scheduling for Parameter Synchronization of DML in Data Center Networks.	IEEE Trans. Netw. Sci. Eng.	2022	DBLP DOI BibTeX RDF
23	Shuai Wang 0028, Jinkun Geng, Dan Li 0001	Impact of Synchronization Topology on DML Performance: Both Logical Topology and Physical Topology.	IEEE/ACM Trans. Netw.	2022	DBLP DOI BibTeX RDF
23	Ashutosh Dhar, Edward Richter, Mang Yu, Wei Zuo, Xiaohao Wang, Nam Sung Kim, Deming Chen	DML: Dynamic Partial Reconfiguration With Scalable Task Scheduling for Multi-Applications on FPGAs.	IEEE Trans. Computers	2022	DBLP DOI BibTeX RDF
23	Victor Quintas-Martinez	Finite-Sample Guarantees for High-Dimensional DML.	CoRR	2022	DBLP DOI BibTeX RDF
23	Han Cui, Shuangyue Liu, Yueming Lu, Yaojun Qiao	Experimental Demonstration of 2D-Trellis Coded Modulation PAM8 for 50G PON Based on 10G-class O-Band DML.	OECC/PSC	2022	DBLP DOI BibTeX RDF
23	Kuang-Yu Ku, Yu-Cheng Yu, Shiuan-Mao Chi, Chia-Chien Wei	Nonlinear Pre-Distortion in DML-based OFDM Transmission Enabled by Low-Complexity Sparse Volterra Filtering.	OFC	2022	DBLP BibTeX RDF
23	Raphael Memmesheimer, Simon Häring, Nick Theisen, Dietrich Paulus	Skeleton-DML: Deep Metric Learning for Skeleton-Based One-Shot Action Recognition.	WACV	2022	DBLP DOI BibTeX RDF
23	Kunyu Peng, Alina Roitberg, David Schneider, Marios Koulakis, Kailun Yang 0001, Rainer Stiefelhagen	Affect-DML: Context-Aware One-Shot Recognition of Human Affect using Deep Metric Learning.	CoRR	2021	DBLP BibTeX RDF
23	Xuanyu Zhang, Qing Yang 0033	DML: Dynamic Multi-Granularity Learning for BERT-Based Document Reranking.	CIKM	2021	DBLP DOI BibTeX RDF
23	Sen Zhao, Xianxia Zou	The Algorithm to Check the Correct of Practicing SQL DML.	ICEIT	2021	DBLP DOI BibTeX RDF
23	Luis Vallejo, Beatriz Ortega, Dong-Nhat Nguyen, Jan Bohata, José Mora, Stanislav Zvanovec	Multiband IFoF signal transmission based on DML with local photonic 40 GHz up conversion.	ISWCS	2021	DBLP DOI BibTeX RDF
23	Laurent Bramerie, Sébastien Lobo, Mathilde Gay	DAC-less and DSP-free 20 Gb/s PAM-4 transmission based on a dual modulation scheme using DML and external modulation.	OFC	2021	DBLP BibTeX RDF
23	Tianwai Bo, Hoon Kim	147-Gb/s Transmission of Optical Single Sideband DMT Signal Generated by Dual Modulation of DML and EAM.	OFC	2021	DBLP BibTeX RDF
23	Yixiao Zhu, Xin Miao, Qi Wu, Weisheng Hu	Slicing and Sliding Algorithm Compatible with PAM/SCM Signal for Chirp and Dispersion Induced Distortion Compensation in DML-Based DD System.	OFC	2021	DBLP BibTeX RDF
23	Kunyu Peng, Alina Roitberg, David Schneider, Marios Koulakis, Kailun Yang 0001, Rainer Stiefelhagen	Affect-DML: Context-Aware One-Shot Recognition of Human Affect using Deep Metric Learning.	FG	2021	DBLP DOI BibTeX RDF
23	Yixiao Zhu, Qi Wu, Longjie Yin, Weisheng Hu	Faster-Than-Nyquist Subcarrier Modulation Utilizing Digital Brick-Wall Filter-Based THP for Band-Limited DML-DD Systems.	ECOC	2021	DBLP DOI BibTeX RDF
23	Luis Vallejo, Beatriz Ortega, Dong-Nhat Nguyen, Jan Bohata, Vicenç Almenar, Stanislav Zvanovec	Usability of a 5G Fronthaul Based on a DML and External Modulation for M-QAM Transmission Over Photonically Generated 40 GHz.	IEEE Access	2020	DBLP DOI BibTeX RDF
23	Yun Cao, Yuebin Wang, Junhuan Peng, Liqiang Zhang 0001, Linlin Xu, Kai Yan 0001, Lihua Li	DML-GANR: Deep Metric Learning With Generative Adversarial Network Regularization for High Spatial Resolution Remote Sensing Image Retrieval.	IEEE Trans. Geosci. Remote. Sens.	2020	DBLP DOI BibTeX RDF
23	Polina Gafurova, Alexander M. Elizarov, Evgeny K. Lipachev	Basic Services of Factory Metadata Digital Mathematical Library Lobachevskii-Dml.	Russ. Digit. Libr. J.	2020	DBLP BibTeX RDF
23	Raphael Memmesheimer, Simon Häring, Nick Theisen, Dietrich Paulus	Skeleton-DML: Deep Metric Learning for Skeleton-Based One-Shot Action Recognition.	CoRR	2020	DBLP BibTeX RDF
23	Yun Cao, Yuebin Wang, Junhuan Peng, Liqiang Zhang 0001, Linlin Xu, Kai Yan 0001, Lihua Li	DML-GANR: Deep Metric Learning With Generative Adversarial Network Regularization for High Spatial Resolution Remote Sensing Image Retrieval.	CoRR	2020	DBLP BibTeX RDF
23	Xiliang Wang, Gansen Zhao, Xinming Wang, Xiaocong Zhou	Translation Of DDL And DML For Constructing Flexible Schemas In Saas Applications.	ICCCS	2020	DBLP DOI BibTeX RDF
23	Jinkun Geng, Dan Li 0001, Shuai Wang 0028	Fela: Incorporating Flexible Parallelism and Elastic Tuning to Accelerate Large-Scale DML.	ICDE	2020	DBLP DOI BibTeX RDF
23	Bin Chen, Yuan Yang 0001, Mingwei Xu	Job-aware Communication Scheduling for DML Training in Shared Cluster.	HPCC/DSS/SmartCity	2020	DBLP DOI BibTeX RDF
23	David Schenck, Hoang Xavier Mestre, Marius Pesavento	Asymptotic Stochastic Analysis of Partially Relaxed DML.	ICASSP	2020	DBLP DOI BibTeX RDF
23	Raphael Memmesheimer, Nick Theisen, Dietrich Paulus	SL-DML: Signal Level Deep Metric Learning for Multimodal One-Shot Action Recognition.	ICPR	2020	DBLP DOI BibTeX RDF
23	Martí Sales-Llopis, Seb J. Savory	A Transition Metric in Polar Co-ordinates for MLSE of a Complex Modulated DML.	OFC	2020	DBLP BibTeX RDF
23	Yan Fu, Deming Kong, Haiyun Xin, Meihua Bi, Shi Jia, Kuo Zhang, Weisheng Hu, Hao Hu	Computationally Efficient 120 Gb/s/λ PWL Equalized 2D-TCM-PAM8 in Dispersion Unmanaged DML-DD System.	OFC	2020	DBLP BibTeX RDF
23	Yukui Yu, Tianwai Bo, Yi Che, Daeho Kim, Hoon Kim	Low-Complexity Equalizer Based on Volterra Series and Piecewise Linear Function for DML-Based IM/DD System.	OFC	2020	DBLP BibTeX RDF
23	Zhaopeng Xu, Chuanbowen Sun, Tonghui Ji, Honglin Ji, William Shieh	Cascade Recurrent Neural Network Enabled 100-Gb/s PAM4 Short-Reach Optical Link Based on DML.	OFC	2020	DBLP BibTeX RDF
23	Nikolaos-Panteleimon Diamantopoulos, Suguru Yamaoka, Takuro Fujii, Hidetaka Nishi, Koji Takeda, Tai Tsuchizawa, Takaaki Kakitsuka, Shinji Matsuo	Net 113-Gbps PAM-4 Transmission Using Membrane DML-on-Si with 0.34 pJ/bit at 50 °C.	ECOC	2020	DBLP DOI BibTeX RDF
23	Nikolaos-Panteleimon Diamantopoulos, Takuro Fujii, Hidetaka Nishi, Koji Takeda, Takaaki Kakitsuka, Shinji Matsuo	ANN Equalizer for Performance Improvement of PAM-M Signals Using $1.3-\mu \mathrm{m}$ Membrane DML-on-Silicon.	OECC/PSC	2019	DBLP DOI BibTeX RDF
23	Myeong Ryeol Choi, Yukui Yu, Sung Hyun Bae, Dae Ho Kim, Hoon Kim	Transmission of 107-Gb/s PAM-4 Signal over 25 km of SSMF using O-band Commercial Off-the-Shelf DML.	OECC/PSC	2019	DBLP DOI BibTeX RDF
23	Yukui Yu, Myeongryeol Choi, Tianwai Bo, Zonglong He, Yi Che, Hoon Kim	Low-Complexity Quadratic Equalizer for DML-based IM/DD Systems.	OECC/PSC	2019	DBLP DOI BibTeX RDF
23	Shuai Wang 0028, Dan Li 0001, Jinkun Geng, Yue Gu, Yang Cheng	Impact of Network Topology on the Performance of DML: Theoretical Analysis and Practical Factors.	INFOCOM	2019	DBLP DOI BibTeX RDF