Search results for "mlf"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
224	Daan Leijen	A type directed translation of MLF to system F.	ICFP	2007	DBLP DOI BibTeX RDF	first-class polymorphism, system F, MLF
130	Didier Rémy, Boris Yakobowski	From ML to MLF: graphic type constraints with efficient type inference.	ICFP	2008	DBLP DOI BibTeX RDF	type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
130	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
112	Didier Rémy, Boris Yakobowski	A graphical presentation of MLF types with a linear-time unification algorithm.	TLDI	2007	DBLP DOI BibTeX RDF	system SF, graphs, types, unification, binders, MLF
93	Daan Leijen, Andres Löh	Qualified types for MLF.	ICFP	2005	DBLP DOI BibTeX RDF	higher-rank polymorphism, impredicativity, qualified types, MLF
92	Minzhu Xie, Jianxin Wang 0001, Jianer Chen	A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF.	TAMC	2008	DBLP DOI BibTeX RDF	SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm
85	Mircea Dragan	Using Excel as a Front-End for MLF.	SYNASC	2005	DBLP DOI BibTeX RDF	Excel Application Object, Front-end
85	Didier Le Botlan, Didier Rémy	MLF: raising ML to the power of system F.	ICFP	2003	DBLP DOI BibTeX RDF	first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F
75	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	Monotone Literals and Learning in QBF Reasoning.	CP	2004	DBLP DOI BibTeX RDF
75	Luca Becchetti, Stefano Leonardi 0001, Alberto Marchetti-Spaccamela, Guido Schäfer, Tjark Vredeveld	Average Case and Smoothed Competitive Analysis of the Multi-Level Feedback Algorithm.	FOCS	2003	DBLP DOI BibTeX RDF
65	Daan Leijen	Flexible types: robust type inference for first-class polymorphism.	POPL	2009	DBLP DOI BibTeX RDF	first-class polymorphism, system f, mlf
56	Didier Le Botlan	MLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite).		2004	RDF
56	Day-Fann Shen, Chui-Wen Chiu, Pon-jay Huang	Modified Laplacian Filter and Intensity Correction Technique for Image Resolution Enhancement.	ICME	2006	DBLP DOI BibTeX RDF
45	Jaehong Shim, Kyongok Yun, Kyunghee Choi, Gihyun Jung, Seungkyu Park, Dugkyoo Choi	A switch scheduling algorithm for periodic messages using laxity decomposition method.	RTCSA	1997	DBLP DOI BibTeX RDF	switch scheduling algorithm, periodic messages, laxity decomposition method, real time messages scheduling, laxities, schedulable messages, MLF algorithm, time division multiple access, simulation results, traffic matrix
38	Igor N. Aizenberg, Claudio Moraga	Multilayer Feedforward Neural Network Based on Multi-valued Neurons (MLMVN) and a Backpropagation Learning Algorithm.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Feedforward complex-valued neural network, Derivative free backpropagation learning
28	Jinbo Shen, Mengting Luo, Han Liu, Peixi Liao, Hu Chen 0002, Yi Zhang 0018	MLF-IOSC: Multi-Level Fusion Network With Independent Operation Search Cell for Low-Dose CT Denoising.	IEEE Trans. Medical Imaging	2023	DBLP DOI BibTeX RDF
28	Lukas Heumos, Philipp Ehmele, Luis Kuhn Cuellar, Kevin Menden, Edmund Miller, Steffen Lemke 0003, Gisela Gabernet, Sven Nahnsen	mlf-core: a framework for deterministic machine learning.	Bioinform.	2023	DBLP DOI BibTeX RDF
28	Zewei Lin, Yanqing Shen, Sanping Zhou, Shitao Chen, Nanning Zheng 0001	MLF-DET: Multi-Level Fusion for Cross-Modal 3D Object Detection.	CoRR	2023	DBLP DOI BibTeX RDF
28	Xiangrong Li	A novel technique with overhead in Multi-Path Network Aggregation by Machine Learning Framework (MPAA-MLF).	Wirel. Networks	2023	DBLP DOI BibTeX RDF
28	Zewei Lin, Yanqing Shen, Sanping Zhou, Shitao Chen, Nanning Zheng 0001	MLF-DET: Multi-Level Fusion for Cross-Modal 3D Object Detection.	ICANN (7)	2023	DBLP DOI BibTeX RDF
28	Ryuji Imamura, Kohei Azuma, Atsushi Hanamoto, Atsunori Kanemura	MLF-SC: Incorporating multi-layer features to sparse coding for anomaly detection.	CoRR	2021	DBLP BibTeX RDF
28	Lukas Heumos, Philipp Ehmele, Kevin Menden, Luis Kuhn Cuellar, Edmund Miller, Steffen Lemke 0003, Gisela Gabernet, Sven Nahnsen	mlf-core: a framework for deterministic machine learning.	CoRR	2021	DBLP BibTeX RDF
28	Lisha Peng, Songling Huang, Shen Wang 0003, Wei Zhao 0031	Data Recovery Method for MLF Signals Based on Sinc Fucntion for Oil & Gas Pipeline.	IEEE SENSORS	2020	DBLP DOI BibTeX RDF
28	Na Shen, Dongran Li, Wilhelm Stork	3-D Shape optimization of a Sensor Mounting Arm Using MOGA and MLF.	ICACI	2020	DBLP DOI BibTeX RDF
28	Hamed Hamzeh, Sofia Meacham, Botond Virginas, Kashaf Khan, Keith Phalp	MLF-DRS: A Multi-level Fair Resource Allocation Algorithm in Heterogeneous Cloud Computing Systems.	ICCCS	2019	DBLP DOI BibTeX RDF
28	Didier Le Botlan, Didier Rémy	MLF: raising ML to the power of system F.	ACM SIGPLAN Notices	2014	DBLP DOI BibTeX RDF
28	Xi Zhu 0001, Yichuang Sun	An elliptic filter based on MLF LF structure for wireless receiver.	MWSCAS	2013	DBLP DOI BibTeX RDF
28	Didier Rémy, Boris Yakobowski	A church-style intermediate language for MLF.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
28	Giulio Manzonetto, Paolo Tranquilli	Strong normalization of MLF via a calculus of coercions.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
28	Minzhu Xie, Jianxin Wang 0001, Jianer Chen	A practical parameterised algorithm for the individual haplotyping problem MLF.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
28	Giulio Manzonetto, Paolo Tranquilli	Harnessing MLF with the Power of System F.	MFCS	2010	DBLP DOI BibTeX RDF
28	Didier Rémy, Boris Yakobowski	A Church-Style Intermediate Language for MLF.	FLOPS	2010	DBLP DOI BibTeX RDF
28	Didier Le Botlan, Didier Rémy	Recasting MLF.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
28	Xi Zhu 0001, Yichuang Sun, James Moritz	A CMOS 80mW 400MHz seventh-order MLF FLF linear phase filter with gain boost.	ICECS	2008	DBLP DOI BibTeX RDF
28	Xi Zhu 0001, Yichuang Sun, James Moritz	Design of current-mode gm-C MLF elliptic filters for wireless receivers.	ICECS	2008	DBLP DOI BibTeX RDF
28	Joseph Romen Cubillo, Jean Gaubert, Sylvain Bourdel, Hervé Barthélemy, Marc Battista, Matthieu Egels	Ultra Wide Band Band Pass filter embedding a MLF low cost package with wire bound attach process.	ICECS	2007	DBLP DOI BibTeX RDF
28	Li-Biao Tong, Wen-Jun Lu, Xin Hong, Tao Mei, Ke-Jun Xu	Data Fusion of Robot Wrist Forces Based on Finger Force Sensors and MLF Neural Network.	Int. J. Inf. Acquis.	2005	DBLP DOI BibTeX RDF
28	Yichuang Sun, J. Kel Fidler	Fully-balanced structures of continuous-time MLF OTA-C filters.	ICECS	1998	DBLP DOI BibTeX RDF
19	Ivan Bajla, Igor Holländer, Dorothea Heiss-Czedik, Reinhard Granec	Classification of image objects in Epo doping control using fuzzy decision tree.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Epo doping control, Machine learning classification, Image segmentation, Fuzzy decision tree
19	Daojing Wang, Chao Zhang 0001, Xuemin Zhao	Multivariate Laplace Filter: A heavy-tailed model for target tracking.	ICPR	2008	DBLP DOI BibTeX RDF
19	Seung-Ho Kang, In-Seon Jeong, Mun-Ho Choi, Hyeong-Seok Lim	Haplotype Assembly from Weighted SNP Fragments and Related Genotype Information.	FAW	2008	DBLP DOI BibTeX RDF	haplotype assembly problem, WMLF model, genetic algorithm
19	Xi Zhu 0001, Yichuang Sun, James Moritz	A CMOS 750MHz fifth-order continuous-time linear phase lowpass filter with gain boost.	ISCAS	2008	DBLP DOI BibTeX RDF
19	Yong Lee 0003, Jianyu Lou, Junzhou Luo, Xiaojun Shen 0002	An efficient packet scheduling algorithm with deadline guarantees for input-queued switches.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	quality of service, real time scheduling, network flow, packet scheduling, input-queued switch
19	Xi Zhu 0001, Yichuang Sun, James Moritz	A 0.18µm CMOS 300MHz Current-Mode LF Seventh-order Linear Phase Filter for Hard Disk Read Channels.	ISCAS	2007	DBLP DOI BibTeX RDF
19	Haihong Liu, Xiaoyuan Wang, Derong Tan, Lei Wang	Study on Traffic Information Fusion Algorithm Based on Support Vector Machines.	ISDA (1)	2006	DBLP DOI BibTeX RDF
19	Masood ul-Hasan, Yichuang Sun	A 2 V 0.25µm CMOS 250 MHz fully-differential seventh-order equiripple linear phase LF filter.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
19	Peijiang Yuan, Mehrdad Moallem, Rajnikant V. Patel	A Real-time Task-oriented Scheduling Algorithm for Distributed Multi-robot Systems.	ICRA	2004	DBLP DOI BibTeX RDF
19	Yu Zhou 0001, Chengqing Zong, Bo Xu 0002	Bilingual chunk alignment in statistical machine translation.	SMC (2)	2004	DBLP DOI BibTeX RDF
19	Bala Kalyanasundaram, Kirk Pruhs	Minimizing flow time nonclairvoyantly.	J. ACM	2003	DBLP DOI BibTeX RDF	multilevel feedback, shortest elapsed time first, Scheduling, randomized algorithm, resource augmentation, flow time
19	Bala Kalyanasundaram, Kirk Pruhs	Minimizing Flow Time Nonclairvoyantly.	FOCS	1997	DBLP DOI BibTeX RDF	flow time minimization, dynamically arriving jobs, unknown execution times, average response/flow time, classic CPU scheduling problem, time sharing operating systems, standard 3-field scheduling notation, nonclairvoyant version, randomized nonclairvoyant algorithm, RMLF, multi level feedback algorithm, deterministic nonclairvoyant algorithm, scheduling, minimisation, competitive ratio, Unix operating system, adaptive adversary