Search results for "MTL"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Di Yang, Ningjia Qiu, Peng Wang, Huamin Yang	FR-MTL: Traffic Flow Prediction Using Fused Ridge Denoising and Multi-Task Learning.	J. Adv. Comput. Intell. Intell. Informatics	2020	DBLP DOI BibTeX RDF
21	Mobarakol Islam, Vibashan VS, Hongliang Ren 0001	AP-MTL: Attention Pruned Multi-task Learning Model for Real-time Instrument Detection and Segmentation in Robot-assisted Surgery.	ICRA	2020	DBLP DOI BibTeX RDF
21	Hongyan Tang, Junning Liu, Ming Zhao, Xudong Gong	Progressive Layered Extraction (PLE): A Novel Multi-Task Learning (MTL) Model for Personalized Recommendations.	RecSys	2020	DBLP DOI BibTeX RDF
21	Yuan Gao, Haoping Bai, Zequn Jie, Jiayi Ma 0001, Kui Jia, Wei Liu 0005	MTL-NAS: Task-Agnostic Neural Architecture Search Towards General-Purpose Multi-Task Learning.	CVPR	2020	DBLP BibTeX RDF
21	André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto	Real-time MTL with durations as SMT with applications to schedulability analysis.	TASE	2020	DBLP DOI BibTeX RDF
21	Jun Tao Wang 0001, Arsham Borumand Saeid, Peng Fei He 0001	Similarity MTL-algebras and Their Corresponding Logics.	J. Multiple Valued Log. Soft Comput.	2019	DBLP BibTeX RDF
21	Ivica Juric-Grgic, Rino Lucic, Ivan Krolo	Improving time integration scheme for FEM analysis of MTL problems.	Int. J. Circuit Theory Appl.	2019	DBLP DOI BibTeX RDF
21	Sepidehsadat Hosseini, Mohammad Amin Shabani, Nam Ik Cho	Distill-2MD-MTL: Data Distillation based on Multi-Dataset Multi-Domain Multi-Task Frame Work to Solve Face Related Tasksks, Multi Task Learning, Semi-Supervised Learning.	CoRR	2019	DBLP BibTeX RDF
21	Stefano Aguzzoli, Matteo Bianchi 0001	On linear varieties of MTL-algebras.	Soft Comput.	2019	DBLP DOI BibTeX RDF
21	Nhu-Van Nguyen, Christophe Rigaud, Jean-Christophe Burie	Comic MTL: optimized multi-task learning for comic book image analysis.	Int. J. Document Anal. Recognit.	2019	DBLP DOI BibTeX RDF
21	Paolo Aglianò, Sara Ugolini	\|MTL\|-algebras as rotations of basic hoops.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
21	Ya-Lin Zhang 0001, Longfei Li	Interpretable MTL from Heterogeneous Domains using Boosted Tree.	CIKM	2019	DBLP DOI BibTeX RDF
21	Agnieszka M. Zbrzezny, Andrzej Zbrzezny	Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract).	CS&P	2019	DBLP BibTeX RDF
21	Dogan Ulus	Timescales: A Benchmark Generator for MTL Monitoring Tools.	RV	2019	DBLP DOI BibTeX RDF
21	Chunhui Liu	The Lattice of Interval Valued -fuzzy Filters in a Given MTL-algebra.	ICNC-FSKD	2019	DBLP DOI BibTeX RDF
21	Jun Tao Wang 0001, Peng Fei He 0001, Arsham Borumand Saeid	Stabilizers in MTL-algebras.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
21	André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho	Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫.	Int. J. Softw. Tools Technol. Transf.	2018	DBLP DOI BibTeX RDF
21	Mostafa Shaterian, Christopher M. Twigg	Synthesis of a reconfigurable analog vector-sum circuit into the MTL-Based configurable blocks.	Microelectron. J.	2018	DBLP DOI BibTeX RDF
21	Laith H. Baniata, Seyoung Park, Seong-Bae Park	A Neural Machine Translation Model for Arabic Dialects That Utilizes Multitask Learning (MTL).	Comput. Intell. Neurosci.	2018	DBLP DOI BibTeX RDF
21	Sarra M. Alqahtani, Samuel Taylor, Ian Riley, Rose F. Gamble, Roger Mailler	Predictive Path Planning Algorithm Using Kalman Filters and MTL Robustness.	SSRR	2018	DBLP DOI BibTeX RDF
21	Thomas Nyegaard-Signori, Casper Veistrup Helms, Johannes Bjerva, Isabelle Augenstein	KU-MTL at SemEval-2018 Task 1: Multi-task Identification of Affect in Tweets.	SemEval@NAACL-HLT	2018	DBLP DOI BibTeX RDF
21	Houssam Abbas, Rahul Mangharam	Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology.	ACC	2018	DBLP DOI BibTeX RDF
21	Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev	On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.	Description Logics	2018	DBLP BibTeX RDF
21	Lubomír Brancík, Edita Kolarova, Milan Sigmund	Characterization of MTL Hybrid Circuits with Stochastic Parameters through SDAE Approach.	MIXDES	2018	DBLP DOI BibTeX RDF
21	Sarra M. Alqahtani, Ian Riley, Samuel Taylor, Rose F. Gamble, Roger Mailler	MTL Robustness for Path Planning with A.	AAMAS	2018	DBLP BibTeX RDF
21	Julio A. Corchado, José Antonio Cortés, Francisco J. Cañete, Luis Díez 0001	Correction to "An MTL-Based Channel Model for Indoor Broadband MIMO Power Line Communications".	IEEE J. Sel. Areas Commun.	2017	DBLP DOI BibTeX RDF
21	Roberto Cignoli, Antoni Torrens	Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22.	Stud Logica	2017	DBLP DOI BibTeX RDF
21	Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo	On strong standard completeness in some MTL $$_\Delta $$ Δ expansions.	Soft Comput.	2017	DBLP DOI BibTeX RDF
21	Shiguang Feng, Markus Lohrey, Karin Quaas	Path Checking for MTL and TPTL over Data Words.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
21	Stefano Aguzzoli, Tommaso Flaminio, Sara Ugolini	Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
21	Jianping Fan 0001, Tianyi Zhao, Zhenzhong Kuang, Yu Zheng 0006, Ji Zhang 0005, Jun Yu 0002, Jinye Peng	HD-MTL: Hierarchical Deep Multi-Task Learning for Large-Scale Visual Recognition.	IEEE Trans. Image Process.	2017	DBLP DOI BibTeX RDF
21	Hao Shi, Wei Dong 0006, Ge Zhou, Liangze Yin	Monitor Synthesis for Parametric MTL Properties in Discrete Control Software.	QRS Companion	2017	DBLP DOI BibTeX RDF
21	Jingwei Yang, Carl K. Chang, Ming Hua 0003	A Situation-Centric Approach to Identifying New User Intentions Using the MTL Method.	COMPSAC (1)	2017	DBLP DOI BibTeX RDF
21	Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos	Vacuity aware falsification for MTL request-response specifications.	CASE	2017	DBLP DOI BibTeX RDF
21	Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus	Combining the Temporal and Epistemic Dimensions for MTL Monitoring.	FORMATS	2017	DBLP DOI BibTeX RDF
21	Julio A. Corchado, José Antonio Cortés, Francisco J. Cañete, Luis Díez 0001	An MTL-Based Channel Model for Indoor Broadband MIMO Power Line Communications.	IEEE J. Sel. Areas Commun.	2016	DBLP DOI BibTeX RDF
21	Ivo Düntsch, Ewa Orlowska, Clint J. van Alten	Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
21	Konstantin Selyunin, Thang Nguyen 0007, Ezio Bartocci, Dejan Nickovic, Radu Grosu	Monitoring of MTL specifications with IBM's spiking-neuron model.	DATE	2016	DBLP BibTeX RDF
21	Agnieszka Zbrzezny, Andrzej Zbrzezny	Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract).	CS&P	2016	DBLP BibTeX RDF
21	Stefano Aguzzoli, Matteo Bianchi 0001	Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL.	WILF	2016	DBLP DOI BibTeX RDF
21	Shiguang Feng	The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words.		2016	RDF
21	Flavia Grassi, Giordano Spadacini, Sergio Amedeo Pignari, Filippo Marliani	Combined MTL-Fullwave Statistical Approach for Fast Estimation of Radiated Immunity of Spacecraft Cable Assemblies Involving Multipair Bundles.	IEICE Trans. Commun.	2015	DBLP DOI BibTeX RDF
21	Paolo Baldi, Agata Ciabattoni	Uniform proofs of standard completeness for extensions of first-order MTL.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
21	Mostafa Shaterian, Christopher M. Twigg, Javad Azhari	MTL-based implementation of current-mode CMOS RMS-to-DC converters.	Int. J. Circuit Theory Appl.	2015	DBLP DOI BibTeX RDF
21	Matteo Bianchi 0001, Franco Montagna	Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.	Stud Logica	2015	DBLP DOI BibTeX RDF
21	Matteo Bianchi 0001, Franco Montagna	Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.	Stud Logica	2015	DBLP DOI BibTeX RDF
21	Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos	ViSpec: A graphical tool for elicitation of MTL requirements.	CoRR	2015	DBLP BibTeX RDF
21	Takumi Akazaki, Ichiro Hasuo	Time Robustness in MTL and Expressivity in Hybrid System Falsification (Extended Version).	CoRR	2015	DBLP BibTeX RDF
21	Takumi Akazaki, Ichiro Hasuo	Time Robustness in MTL and Expressivity in Hybrid System Falsification.	CAV (2)	2015	DBLP DOI BibTeX RDF
21	Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos	VISPEC: A graphical tool for elicitation of MTL requirements.	IROS	2015	DBLP DOI BibTeX RDF
21	Stefano Aguzzoli, Matteo Bianchi 0001, Tommaso Flaminio	MTL-algebras that define the dual monoidal operation.	FUZZ-IEEE	2015	DBLP DOI BibTeX RDF
21	André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto	Monitoring for a Decidable Fragment of MTL-∫.	RV	2015	DBLP DOI BibTeX RDF
21	Shiguang Feng, Markus Lohrey, Karin Quaas	Path Checking for MTL and TPTL over Data Words.	DLT	2015	DBLP DOI BibTeX RDF
21	Bozena Wozna-Szczesniak, Andrzej Zbrzezny	Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
21	Zhen Ming Ma	Two types of MTL-L-filters in residuated lattices.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
21	Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas	Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.	AFL	2014	DBLP DOI BibTeX RDF
21	Shiguang Feng, Markus Lohrey, Karin Quaas	Path-Checking for MTL and TPTL over Data Words.	CoRR	2014	DBLP BibTeX RDF
21	Karin Quaas	MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable.	SynCoP	2014	DBLP DOI BibTeX RDF
21	Ally S. Nyamawe	A Proposed Framework for Development of a Visualizer Based on Memory Transfer Language (MTL).	CoRR	2014	DBLP BibTeX RDF
21	Stefano Aguzzoli, Anna Rita Ferraioli, Brunella Gerla	A note on minimal axiomatisations of some extensions of MTL.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
21	Masoud Haveshki	A note on some types of filters in MTL-algebras.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
21	Arsham Borumand Saeid, Saeide Zahiri	Radicals in MTL-algebras.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
21	Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya	On Unary Fragments of MTL and TPTL over Timed Words.	ICTAC	2014	DBLP DOI BibTeX RDF
21	Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas	Satisfiability for MTL and TPTL over Non-monotonic Data Words.	LATA	2014	DBLP DOI BibTeX RDF
21	Lianzhen Liu	On the existence of states on MTL-algebras.	Inf. Sci.	2013	DBLP DOI BibTeX RDF
21	Wilmari Morton, Clint J. van Alten	Modal MTL-algebras.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
21	Mostafa Shaterian, Christopher M. Twigg, Javad Azhari	An MTL-Based Configurable Block for Current-Mode Nonlinear Analog Computation.	IEEE Trans. Circuits Syst. II Express Briefs	2013	DBLP DOI BibTeX RDF
21	Houssam Abbas, Georgios Fainekos	Computing descent direction of MTL robustness for non-linear systems.	ACC	2013	DBLP DOI BibTeX RDF
21	Bozena Wozna-Szczesniak, Andrzej Zbrzezny	Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.	CS&P	2013	DBLP BibTeX RDF
21	Lubomír Brancík	Simulation of hybrid MTL systems with random parameters based on stochastic DAEs.	ECCTD	2013	DBLP DOI BibTeX RDF
21	Nishant A. Mehta, Dongryeol Lee, Alexander G. Gray	Minimax Multi-Task Learning and a Generalized Loss-Compositional Paradigm for MTL	CoRR	2012	DBLP BibTeX RDF
21	Paul Hunter	The expressiveness of MTL with counting	CoRR	2012	DBLP BibTeX RDF
21	Karel Chvalovský	On the independence of axioms in BL and MTL.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
21	Rajab Ali Borzooei, S. Khosravi Shoar, Reza Ameri	Some types of filters in MTL-algebras.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
21	Paolo Baldi, Agata Ciabattoni, Lara Spendier	Standard Completeness for Extensions of MTL: An Automated Approach.	WoLLIC	2012	DBLP DOI BibTeX RDF
21	Leonard J. Mselle	Learning Programming by using Memory Transfer Language (MTL) without the Intervention of an Instructor.	PPIG	2012	DBLP BibTeX RDF
21	Nishant A. Mehta, Dongryeol Lee, Alexander G. Gray	Minimax Multi-Task Learning and a Generalized Loss-Compositional Paradigm for MTL.	NIPS	2012	DBLP BibTeX RDF
21	Jianming Zhan 0001	Falling fuzzy filters of MTL-Algebras.	QLSC	2012	DBLP DOI BibTeX RDF
21	Denisa Diaconescu, George Georgescu	Forcing operators on MTL-algebras.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
21	Joanna Golinska-Pilarek, Ewa Orlowska	Dual tableau for monoidal triangular norm logic MTL.	Fuzzy Sets Syst.	2011	DBLP DOI BibTeX RDF
21	Clint J. van Alten	Preservation theorems for MTL-chains.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
21	Leonard J. Mselle	Using formal logic to define the grammar for memory transfer language (MTL) on the mould of register transfer language (RTL) and high level languages.	PPIG	2011	DBLP BibTeX RDF
21	Leonard James Mselle, Raphael Mmasy	The impact of memory transfer language (MTL) in reducing misconceptions in teaching programming to novices.	ITiCSE	2011	DBLP DOI BibTeX RDF
21	Marco Diciolla	Time-Bounded Verification of CTMCs against MTL specifications.	ICCSW	2011	DBLP BibTeX RDF
21	E. A. Murphy, Dominic Holland, M. Donohue, Linda K. McEvoy, Donald J. Hagler Jr., Anders M. Dale, James B. Brewer	Six-month atrophy in MTL structures is associated with subsequent memory decline in elderly controls.	NeuroImage	2010	DBLP DOI BibTeX RDF
21	Thomas Vetterlein	MTL-algebras arising from partially ordered groups.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
21	Agata Ciabattoni, George Metcalfe, Franco Montagna	Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
21	Patricia Bouyer, Fabrice Chevalier, Nicolas Markey	On the expressiveness of TPTL and MTL.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
21	Tie-lei Sun, Cheng Lin	A new method based on MTL and LS-SVM for crosstalk predicting in electric vehicle.	ICNC	2010	DBLP DOI BibTeX RDF
21	Jialu Zhang 0001	Metric structures on some MTL-algebras and its applications.	FSKD	2010	DBLP DOI BibTeX RDF
21	Dejan Nickovic, Nir Piterman	From Mtl to Deterministic Timed Automata.	FORMATS	2010	DBLP DOI BibTeX RDF
21	Xueling Ma, Jianming Zhan 0001, Dajing Xiang	Some types of generalized fuzzy filters of MTL-algebras.	J. Intell. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
21	Xueling Ma, Jianming Zhan 0001	A Note on "Generalized Fuzzy Filters of MTL-Algebras".	J. Multiple Valued Log. Soft Comput.	2009	DBLP BibTeX RDF
21	Georgios E. Fainekos, George J. Pappas	MTL robust testing and verification for LPV systems.	ACC	2009	DBLP DOI BibTeX RDF
21	Xueling Ma, Jianming Zhan 0001, Yang Xu 0001	Generalized Fuzzy Filters of MTL-algebras.	J. Multiple Valued Log. Soft Comput.	2008	DBLP BibTeX RDF
21	Asha Viswanath, Debasish Roy	A multistep transversal linearization (MTL) method in non-linear dynamics through a Magnus characterization.	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
21	Stefano Aguzzoli, Brunella Gerla	Normal forms and free algebras for some extensions of MTL.	Fuzzy Sets Syst.	2008	DBLP DOI BibTeX RDF
21	Josh G. Nickel, José E. Schutt-Ainé	Topological realizability conditions and their interpretation for admittance matrices of an MTL system with mode delays.	J. Frankl. Inst.	2007	DBLP DOI BibTeX RDF
21	Daniel L. Silver, Ryan Poirier	Context-Sensitive MTL Networks for Machine Lifelong Learning.	FLAIRS	2007	DBLP BibTeX RDF
21	San-Min Wang, Ming-Yan Wang	Disjunctive elimination rule and its application in MTL.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF