The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for mlf with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2006 (16) 2007-2009 (17) 2010-2023 (17)
Publication types (Num. hits)
article(16) inproceedings(33) phdthesis(1)
Venues (Conferences, Journals, ...)
ICECS(4) ICFP(4) CoRR(3) FOCS(2) ISCAS(2) Theor. Comput. Sci.(2) ACM SIGPLAN Notices(1) Bioinform.(1) CP(1) FAW(1) FLOPS(1) ICACI(1) ICANN (7)(1) ICCCS(1) ICME(1) ICPR(1) More (+10 of total 38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 33 keywords

Results
Found 50 publication records. Showing 50 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
224Daan Leijen A type directed translation of MLF to system F. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF first-class polymorphism, system F, MLF
130Didier Rémy, Boris Yakobowski From ML to MLF: graphic type constraints with efficient type inference. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
130Didier Rémy MLF for everyone (users, implementers, and designers). Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
112Didier Rémy, Boris Yakobowski A graphical presentation of MLF types with a linear-time unification algorithm. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF system SF, graphs, types, unification, binders, MLF
93Daan Leijen, Andres Löh Qualified types for MLF. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF higher-rank polymorphism, impredicativity, qualified types, MLF
92Minzhu Xie, Jianxin Wang 0001, Jianer Chen A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF. Search on Bibsonomy TAMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SNP (single-nucleotide polymorphism), MLF (Minimum Letter Flip), NP-hardness, haplotype, parameterized algorithm
85Mircea Dragan Using Excel as a Front-End for MLF. Search on Bibsonomy SYNASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Excel Application Object, Front-end
85Didier Le Botlan, Didier Rémy MLF: raising ML to the power of system F. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F
75Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella Monotone Literals and Learning in QBF Reasoning. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
75Luca Becchetti, Stefano Leonardi 0001, Alberto Marchetti-Spaccamela, Guido Schäfer, Tjark Vredeveld Average Case and Smoothed Competitive Analysis of the Multi-Level Feedback Algorithm. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
65Daan Leijen Flexible types: robust type inference for first-class polymorphism. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF first-class polymorphism, system f, mlf
56Didier 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). Search on Bibsonomy 2004   RDF
56Day-Fann Shen, Chui-Wen Chiu, Pon-jay Huang Modified Laplacian Filter and Intensity Correction Technique for Image Resolution Enhancement. Search on Bibsonomy ICME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Jaehong Shim, Kyongok Yun, Kyunghee Choi, Gihyun Jung, Seungkyu Park, Dugkyoo Choi A switch scheduling algorithm for periodic messages using laxity decomposition method. Search on Bibsonomy RTCSA The full citation details ... 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
38Igor N. Aizenberg, Claudio Moraga Multilayer Feedforward Neural Network Based on Multi-valued Neurons (MLMVN) and a Backpropagation Learning Algorithm. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Feedforward complex-valued neural network, Derivative free backpropagation learning
28Jinbo 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. Search on Bibsonomy IEEE Trans. Medical Imaging The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Lukas 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. Search on Bibsonomy Bioinform. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Zewei Lin, Yanqing Shen, Sanping Zhou, Shitao Chen, Nanning Zheng 0001 MLF-DET: Multi-Level Fusion for Cross-Modal 3D Object Detection. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Xiangrong Li A novel technique with overhead in Multi-Path Network Aggregation by Machine Learning Framework (MPAA-MLF). Search on Bibsonomy Wirel. Networks The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Zewei Lin, Yanqing Shen, Sanping Zhou, Shitao Chen, Nanning Zheng 0001 MLF-DET: Multi-Level Fusion for Cross-Modal 3D Object Detection. Search on Bibsonomy ICANN (7) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Ryuji Imamura, Kohei Azuma, Atsushi Hanamoto, Atsunori Kanemura MLF-SC: Incorporating multi-layer features to sparse coding for anomaly detection. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
28Lukas 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. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
28Lisha Peng, Songling Huang, Shen Wang 0003, Wei Zhao 0031 Data Recovery Method for MLF Signals Based on Sinc Fucntion for Oil & Gas Pipeline. Search on Bibsonomy IEEE SENSORS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Na Shen, Dongran Li, Wilhelm Stork 3-D Shape optimization of a Sensor Mounting Arm Using MOGA and MLF. Search on Bibsonomy ICACI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Hamed Hamzeh, Sofia Meacham, Botond Virginas, Kashaf Khan, Keith Phalp MLF-DRS: A Multi-level Fair Resource Allocation Algorithm in Heterogeneous Cloud Computing Systems. Search on Bibsonomy ICCCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Didier Le Botlan, Didier Rémy MLF: raising ML to the power of system F. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Xi Zhu 0001, Yichuang Sun An elliptic filter based on MLF LF structure for wireless receiver. Search on Bibsonomy MWSCAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Didier Rémy, Boris Yakobowski A church-style intermediate language for MLF. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
28Giulio Manzonetto, Paolo Tranquilli Strong normalization of MLF via a calculus of coercions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
28Minzhu Xie, Jianxin Wang 0001, Jianer Chen A practical parameterised algorithm for the individual haplotyping problem MLF. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Giulio Manzonetto, Paolo Tranquilli Harnessing MLF with the Power of System F. Search on Bibsonomy MFCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Didier Rémy, Boris Yakobowski A Church-Style Intermediate Language for MLF. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Didier Le Botlan, Didier Rémy Recasting MLF. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Xi Zhu 0001, Yichuang Sun, James Moritz A CMOS 80mW 400MHz seventh-order MLF FLF linear phase filter with gain boost. Search on Bibsonomy ICECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Xi Zhu 0001, Yichuang Sun, James Moritz Design of current-mode gm-C MLF elliptic filters for wireless receivers. Search on Bibsonomy ICECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Joseph 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. Search on Bibsonomy ICECS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Li-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. Search on Bibsonomy Int. J. Inf. Acquis. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Yichuang Sun, J. Kel Fidler Fully-balanced structures of continuous-time MLF OTA-C filters. Search on Bibsonomy ICECS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Ivan Bajla, Igor Holländer, Dorothea Heiss-Czedik, Reinhard Granec Classification of image objects in Epo doping control using fuzzy decision tree. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Epo doping control, Machine learning classification, Image segmentation, Fuzzy decision tree
19Daojing Wang, Chao Zhang 0001, Xuemin Zhao Multivariate Laplace Filter: A heavy-tailed model for target tracking. Search on Bibsonomy ICPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Seung-Ho Kang, In-Seon Jeong, Mun-Ho Choi, Hyeong-Seok Lim Haplotype Assembly from Weighted SNP Fragments and Related Genotype Information. Search on Bibsonomy FAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF haplotype assembly problem, WMLF model, genetic algorithm
19Xi Zhu 0001, Yichuang Sun, James Moritz A CMOS 750MHz fifth-order continuous-time linear phase lowpass filter with gain boost. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Yong Lee 0003, Jianyu Lou, Junzhou Luo, Xiaojun Shen 0002 An efficient packet scheduling algorithm with deadline guarantees for input-queued switches. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quality of service, real time scheduling, network flow, packet scheduling, input-queued switch
19Xi 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. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Haihong Liu, Xiaoyuan Wang, Derong Tan, Lei Wang Study on Traffic Information Fusion Algorithm Based on Support Vector Machines. Search on Bibsonomy ISDA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Masood ul-Hasan, Yichuang Sun A 2 V 0.25µm CMOS 250 MHz fully-differential seventh-order equiripple linear phase LF filter. Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Peijiang Yuan, Mehrdad Moallem, Rajnikant V. Patel A Real-time Task-oriented Scheduling Algorithm for Distributed Multi-robot Systems. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Yu Zhou 0001, Chengqing Zong, Bo Xu 0002 Bilingual chunk alignment in statistical machine translation. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Bala Kalyanasundaram, Kirk Pruhs Minimizing flow time nonclairvoyantly. Search on Bibsonomy J. ACM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multilevel feedback, shortest elapsed time first, Scheduling, randomized algorithm, resource augmentation, flow time
19Bala Kalyanasundaram, Kirk Pruhs Minimizing Flow Time Nonclairvoyantly. Search on Bibsonomy FOCS The full citation details ... 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
Displaying result #1 - #50 of 50 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license