Search results for "MTL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
181	Raul Silaghi, Frédéric Fondement, Alfred Strohmeier	"Weaving" MTL Model Transformations.	MDAFA	2004	DBLP DOI BibTeX RDF	MTL, Aspect-Oriented Programming, AOP, Model-Driven Architecture, MDA, Model Transformations
131	Roberto Cignoli, Antoni Torrens	Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.	Stud Logica	2006	DBLP DOI BibTeX RDF	MTL-algebras, Glivenko MTL-algebras, Nilpotent Minimum algebras, DL-algebras, Boolean products, Boolean retraction property, free algebras
100	Feng Jin, Shiliang Sun	A Multitask Learning Approach to Face Recognition Based on Neural Networks.	IDEAL	2008	DBLP DOI BibTeX RDF	multitask learning (MTL), single task learning (STL), backpropagation (BP), face recognition, artificial neural network (ANN)
100	Rostislav Horcík	Standard completeness theorem for PiMTL.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	MTL logic, Product logic, Left-continuous t-norm, Cancellative left-continuous t-norm, Fuzzy logic, Many-valued logic
95	Rostislav Horcík	Alternative Proof of Standard Completeness Theorem for MTL.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Monoidal t-norm based logic, Left-continuous t-norm, Fuzzy logic
95	Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier	Controller Synthesis for MTL Specifications.	CONCUR	2006	DBLP DOI BibTeX RDF
89	Joël Ouaknine, James Worrell 0001	Safety Metric Temporal Logic Is Fully Decidable.	TACAS	2006	DBLP DOI BibTeX RDF
89	Joël Ouaknine, James Worrell 0001	On the Decidability of Metric Temporal Logic.	LICS	2005	DBLP DOI BibTeX RDF
81	San-Min Wang	A fuzzy logic for the revised drastic product t-norm.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Revised drastic product t-norm, BL-system, MTL system, MTL? system, RDP system, RDP? system, Non-classical logics
80	Carlo A. Furia, Matteo Rossi	MTL with Bounded Variability: Decidability and Complexity.	FORMATS	2008	DBLP DOI BibTeX RDF
80	Patricia Bouyer, Fabrice Chevalier, Nicolas Markey	On the Expressiveness of TPTL and MTL.	FSTTCS	2005	DBLP DOI BibTeX RDF
74	Kai Ni 0007, John W. Paisley, Lawrence Carin, David B. Dunson	Multi-Task Learning for Analyzing and Sorting Large Databases of Sequential Data.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
74	Joël Ouaknine, James Worrell 0001	On Metric Temporal Logic and Faulty Turing Machines.	FoSSaCS	2006	DBLP DOI BibTeX RDF
74	Stefano Aguzzoli, Brunella Gerla, Corrado Manara	Poset Representation for Gödel and Nilpotent Minimum Logics.	ECSQARU	2005	DBLP DOI BibTeX RDF
65	Xiaohong Zhang 0001, Yongquan Wang, Yong Lin Liu	Fuzzy Ultra Filters and Fuzzy G-Filters of MTL-Algebras.	FSKD (1)	2005	DBLP DOI BibTeX RDF
59	Ricardo Insausti, Mariano Rincón, César González-Moreno, Emilio Artacho-Pérula, Amparo Díez-Peña, Tomás García-Saiz	Neurobiological Significance of Automatic Segmentation: Application to the Early Diagnosis of Alzheimer's Disease.	IWINAC (2)	2009	DBLP DOI BibTeX RDF
59	Feng Jin, Shiliang Sun	Neural network multitask learning for traffic flow forecasting.	IJCNN	2008	DBLP DOI BibTeX RDF
59	Kai Ni 0007, Lawrence Carin, David B. Dunson	Multi-task learning for sequential data via iHMMs and the nested Dirichlet process.	ICML	2007	DBLP DOI BibTeX RDF
59	Pedro J. García-Laencina, José-Luis Sancho-Gómez, Aníbal R. Figueiras-Vidal	Pattern Classification with Missing Values using Multitask Learning.	IJCNN	2006	DBLP DOI BibTeX RDF
59	Pedro J. García-Laencina, Aníbal R. Figueiras-Vidal, Jesús Serrano-García, José-Luis Sancho-Gómez	Exploiting Multitask Learning Schemes Using Private Subnetworks.	IWANN	2005	DBLP DOI BibTeX RDF
59	P. Madhusudan	Model-checking Trace Event Structures.	LICS	2003	DBLP DOI BibTeX RDF
59	Daniel L. Silver, Peter McCracken	Selective Transfer of Task Knowledge Using Stochastic Noise.	AI	2003	DBLP DOI BibTeX RDF
51	Carlo A. Furia, Paola Spoletini	Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.	ICTAC	2008	DBLP DOI BibTeX RDF
51	Carlo A. Furia, Matteo Pradella, Matteo Rossi	Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.	FM	2008	DBLP DOI BibTeX RDF	real-time, sampling, discretization, metric temporal logic, verification techniques, dense time
51	Carlo A. Furia, Matteo Rossi	On the Expressiveness of MTL Variants over Dense Time.	FORMATS	2007	DBLP DOI BibTeX RDF
51	Pavithra Prabhakar, Deepak D'Souza	On the Expressiveness of MTL with Past Operators.	FORMATS	2006	DBLP DOI BibTeX RDF
44	Joël Ouaknine, Alexander Rabinovich, James Worrell 0001	Time-Bounded Verification.	CONCUR	2009	DBLP DOI BibTeX RDF
44	Lichen Liang, Vladimir Cherkassky	Connection between SVM+ and multi-task learning.	IJCNN	2008	DBLP DOI BibTeX RDF
44	Joël Ouaknine, James Worrell 0001	Some Recent Results in Metric Temporal Logic.	FORMATS	2008	DBLP DOI BibTeX RDF
44	Andrés Bueno-Crespo, Antonio Sánchez-García, Juan Morales-Sánchez, José-Luis Sancho-Gómez	Multitask Learning with Data Editing.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
44	Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001	The Cost of Punctuality.	LICS	2007	DBLP DOI BibTeX RDF
44	Daniel L. Silver, Robert E. Mercer	Sequential Inductive Transfer for Coronary Artery Disease Diagnosis.	IJCNN	2007	DBLP DOI BibTeX RDF
44	Stefano Galli, Thomas C. Banwell	A deterministic frequency-domain model for the indoor power line transfer function.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
44	Georgios E. Fainekos, George J. Pappas	Robustness of Temporal Logic Specifications.	FATES/RV	2006	DBLP DOI BibTeX RDF	Timed State Sequences, Metric and Linear Temporal Logic, Robustness, Monitoring, Metric spaces
44	Daniel L. Silver, Ryan Poirier	Sequential Consolidation of Learned Task Knowledge.	Canadian AI	2004	DBLP DOI BibTeX RDF
44	Daniel L. Silver, Robert E. Mercer	The Task Rehearsal Method of Life-Long Learning: Overcoming Impoverished Data.	AI	2002	DBLP DOI BibTeX RDF
42	Jialu Zhang 0001	Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras.	Fuzzy Sets Syst.	2011	DBLP DOI BibTeX RDF
40	Afrodita Iorgulescu	On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, Generalized-MV algebra, Generalized-Wajsberg algebra, BCK(P) lattice, Hájek(P) algebra, Generalized-BL algebra, Divisible BCK(P) lattice, Weak-BL algebra, MTL algebra, IMTL algebra, WNM algebra, NM algebra, R0 algebra, Pocrim, MV algebra, Residuated lattice, t-norm, BL algebra, Heyting algebra, BCK algebra
36	Xueling Ma, Jianming Zhan 0001, Yang Xu 0001	On Generalized Fuzzy Filters of MTL-Algebras.	FSKD (1)	2008	DBLP DOI BibTeX RDF
36	Deepak D'Souza, Pavithra Prabhakar	On the expressiveness of MTL in the pointwise and continuous semantics.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Metric Temporal Logic, Real-time logics
36	Petr Cintula	Short note: on the redundancy of axiom (A3) in BL and MTL.	Soft Comput.	2005	DBLP DOI BibTeX RDF
30	Truong Nghiem, Sriram Sankaranarayanan 0001, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas	Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.	HSCC	2010	DBLP DOI BibTeX RDF	testing, robustness, hybrid systems, metric temporal logic
30	Qiuhua Liu, Xuejun Liao, Hui Li 0068, Jason R. Stack, Lawrence Carin	Semisupervised Multitask Learning.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
30	Daniel L. Silver, Ryan Poirier, Duane Currie	Inductive transfer with context-sensitive neural networks.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Context-sensitive learning, Context attributes, Task relatedness, Machine lifelong learning, Artificial neural networks, Inductive transfer
30	Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier	Robust Analysis of Timed Automata via Channel Machines.	FoSSaCS	2008	DBLP DOI BibTeX RDF
30	Sertac Karaman, Emilio Frazzoli	Vehicle Routing Problem with Metric Temporal Logic Specifications.	CDC	2008	DBLP DOI BibTeX RDF
30	Daniel L. Silver, Liangliang Tu	Image Transformation: Inductive Transfer between Multiple Tasks Having Multiple Outputs.	Canadian AI	2008	DBLP DOI BibTeX RDF
30	Pedro J. García-Laencina, Jesús Serrano-García, Aníbal R. Figueiras-Vidal, José-Luis Sancho-Gómez	Multi-task Neural Networks for Dealing with Missing Inputs.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
30	Jaisiel Madrid-Sánchez, Miguel Lázaro-Gredilla, Aníbal R. Figueiras-Vidal	A Single Layer Perceptron Approach to Selective Multi-task Learning.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
30	Peter Gottschling, David S. Wise, Michael D. Adams 0001	Representation-transparent matrix algorithms with scalable performance.	ICS	2007	DBLP DOI BibTeX RDF	Morton-order, dilated integers, doppled integers, matrix template library
30	Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar	Counter-Free Input-Determined Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
30	Vinit A. Ogale, Vijay K. Garg	Brief Announcement: Many Slices Are Better Than One.	DISC	2006	DBLP DOI BibTeX RDF
30	Jürgen Fell, Guido Widman, Benno Rehberg, Christian Erich Elger, Guillén Fernández	Human mediotemporal EEG characteristics during propofol anesthesia.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
30	Zhiqiang Hou, Donghua Liu, Zhiwei Xu 0002, Wei Li 0008	GSRP: An Application-Level Protocol for Grid Environments.	GCC (1)	2003	DBLP DOI BibTeX RDF
27	San-Min Wang, Bin Zhao, Peng Wang	A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Fuzzy quantifier, Sugeno’s integral, MTL, Fuzzy logic
21	Yang Pan, Xinyu Wang 0003, Yu Wang, Yanfei Zhong	RBP-MTL: Agricultural Parcel Vectorization via Region-Boundary-Parcel Decoupled Multitask Learning.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
21	Arwa Saif Fadel, Mostafa Elsayed Saleh, Reda Salama, Osama Ahmed Abulnaja	MTL-AraBERT: An Enhanced Multi-Task Learning Model for Arabic Aspect-Based Sentiment Analysis.	Comput.	2024	DBLP DOI BibTeX RDF
21	Hongyang Yan, Anli Yan, Li Hu, Jiaming Liang, Haibo Hu 0001	MTL-Leak: Privacy Risk Assessment in Multi-Task Learning.	IEEE Trans. Dependable Secur. Comput.	2024	DBLP DOI BibTeX RDF
21	Raquel Rodriguez-Garcia, Roberto Centeno	HAMiSoN-MTL at ClimateActivism 2024: Detection of Hate Speech, Targets, and Stance using Multi-task Learning.	CASE	2024	DBLP BibTeX RDF
21	Weihua Wu, Yang Yang 0066, Bangyu Wu, Debo Ma, Zhanxin Tang, Xia Yin	MTL-FaultNet: Seismic Data Reconstruction Assisted Multitask Deep Learning 3-D Fault Interpretation.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Tengfei Ma 0002, Xuan Lin, Bosheng Song, Philip S. Yu, Xiangxiang Zeng	KG-MTL: Knowledge Graph Enhanced Multi-Task Learning for Molecular Interaction.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
21	Ammar Sherif, Abubakar Abid, Mustafa Elattar, Mohamed ElHelw	STG-MTL: Scalable Task Grouping for Multi-Task Learning Using Data Map.	CoRR	2023	DBLP DOI BibTeX RDF
21	Till Hofmann, Stefan Schupp	Controlling timed automata against MTL specifications with TACoS.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
21	Jayant Vyas, Bhumika, Debasis Das 0001, Santanu Chaudhury	Dr. MTL: Driver Recommendation using Federated Multi-Task Learning.	VTC Fall	2023	DBLP DOI BibTeX RDF
21	Wei Deng, Juncheng Chen, Zhen Li, Weiwei Wang, Zhi Cai	A-share Trading Strategy Based on MTL-DDPG.	CSAI	2023	DBLP DOI BibTeX RDF
21	Sandra Greiner 0001, Stefan Höppner, Frédéric Jouault, Théo Le Calvar, Mickael Clavreul	Incremental MTL vs. GPLs: Class into Relational Database Schema.	Agile MDE/MeSS/TTC@STAF	2023	DBLP BibTeX RDF
21	Thomas Buchmann	A BXtendDSL Solution to the TTC2023 Incremental MTL vs. GPLs Case.	Agile MDE/MeSS/TTC@STAF	2023	DBLP BibTeX RDF
21	Ning Ge 0002, Jinwen Yang, Tianyu Yu, Wei Liu	AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts.	ICECCS	2023	DBLP DOI BibTeX RDF
21	Qipan Wang, Ping Liu, Liguo Jiang, Mingjie Liu, Yibo Lin, Runsheng Wang, Ru Huang	MTL-Designer: An Integrated Flow for Analysis and Synthesis of Microstrip Transmission Line.	DAC	2023	DBLP DOI BibTeX RDF
21	Guoqing Bao, Huai Chen, Tongliang Liu, Guanzhong Gong, Yong Yin, Lisheng Wang, Xiuying Wang	COVID-MTL: Multitask learning with Shift3D and random-weighted loss for COVID-19 diagnosis and severity assessment.	Pattern Recognit.	2022	DBLP DOI BibTeX RDF
21	P. Chariyathitipong, Wiwat Vatanawood	Dynamic Slicing of Time Petri Net Based on MTL Property.	IEEE Access	2022	DBLP DOI BibTeX RDF
21	Jianxin Liu, Yijun Li, Yongwei Yang, Juntao Wang 0001	On Implicative Derivations of MTL-Algebras.	Axioms	2022	DBLP DOI BibTeX RDF
21	Chang Sun, Zili Wang, Shuyou Zhang 0001, Taotao Zhou, Jie Li, Jianrong Tan	Digital-twin-enhanced metal tube bending forming real-time prediction method based on Multi-source-input MTL.	CoRR	2022	DBLP DOI BibTeX RDF
21	Till Hofmann, Stefan Schupp	Controlling Golog Programs against MTL Constraints.	CoRR	2022	DBLP DOI BibTeX RDF
21	Huimin Huang, Qingqing Chen 0001, Lanfen Lin, Ming Cai, Qiaowei Zhang, Yutaro Iwamoto, Xianhua Han, Akira Furukawa, Shuzo Kanasaki, Yen-Wei Chen 0001, Ruofeng Tong 0001, Hongjie Hu	MTL-ABS3Net: Atlas-Based Semi-Supervised Organ Segmentation Network With Multi-Task Learning for Medical Images.	IEEE J. Biomed. Health Informatics	2022	DBLP DOI BibTeX RDF
21	Zhongde Chen, Ruize Wu, Cong Jiang, Honghui Li, Xin Dong, Can Long, Yong He 0009, Lei Cheng, Linjian Mo	CFS-MTL: A Causal Feature Selection Mechanism for Multi-task Learning via Pseudo-intervention.	CIKM	2022	DBLP DOI BibTeX RDF
21	Bhumika, Jayant Vyas, Debasis Das 0001	Stress-Aware Recommendation for Safe Driving using MTL-ConvLSTM.	ITSC	2022	DBLP DOI BibTeX RDF
21	Zhiqi Huang, Milind Rao, Anirudh Raju, Zhe Zhang, Bach Bui, Chul Lee	MTL-SLT: Multi-Task Learning for Spoken Language Tasks.	ConvAI@ACL	2022	DBLP DOI BibTeX RDF
21	Sana Ullah, Hyoungsuk Yoo	Performance Enhancement of an MTL Coil Loaded With High-Permittivity Dielectric Liner for 7 T Brain MRI.	IEEE Access	2021	DBLP DOI BibTeX RDF
21	Giovanni Buroni, Bertrand Lebichot, Gianluca Bontempi	AST-MTL: An Attention-Based Multi-Task Learning Strategy for Traffic Forecasting.	IEEE Access	2021	DBLP DOI BibTeX RDF
21	Mobarakol Islam, Vibashan VS, Chwee Ming Lim, Hongliang Ren 0001	ST-MTL: Spatio-Temporal multitask learning model to predict scanpath while tracking instruments in robotic surgery.	Medical Image Anal.	2021	DBLP DOI BibTeX RDF
21	Mobarakol Islam, Vibashan VS, Chwee Ming Lim, Hongliang Ren 0001	ST-MTL: Spatio-Temporal Multitask Learning Model to Predict Scanpath While Tracking Instruments in Robotic Surgery.	CoRR	2021	DBLP BibTeX RDF
21	Lu Wang 0004, Haoyan Jiang, Mark H. Chignell	MD-MTL: An Ensemble Med-Multi-Task Learning Package for DiseaseScores Prediction and Multi-Level Risk Factor Analysis.	CoRR	2021	DBLP BibTeX RDF
21	Guisheng Zhang, Kehui Zhao, Yanfei Hong, Xiaoyu Qiu, Kuixing Zhang, Benzheng Wei	SHA-MTL: soft and hard attention multi-task learning for automated breast cancer ultrasound image segmentation and classification.	Int. J. Comput. Assist. Radiol. Surg.	2021	DBLP DOI BibTeX RDF
21	Wenshen Xu, Shuangyin Li, Yonghe Lu	Usr-mtl: an unsupervised sentence representation learning framework with multi-task learning.	Appl. Intell.	2021	DBLP DOI BibTeX RDF
21	Mostafa Karimzadeh, Samuel Martin Schwegler, Zhongliang Zhao, Torsten Braun, Susana Sargento	MTL-LSTM: Multi-Task Learning-based LSTM for Urban Traffic Flow Forecasting.	IWCMC	2021	DBLP DOI BibTeX RDF
21	Chunhui Liu	Generated ($\in, \in\vee q$)-IV-Fuzzy Filters in MTL-algebras.	ICSAI	2021	DBLP DOI BibTeX RDF
21	Rajat Subhra Bhowmick, Trina Ghosh, Astha Singh, Sayak Chakraborty, Jaya Sil	Shallow learning for MTL in end-to-end RNN for basic sequence tagging.	IC3	2021	DBLP DOI BibTeX RDF
21	Till Hofmann, Stefan Schupp	TACoS: A Tool for MTL Controller Synthesis.	SEFM	2021	DBLP DOI BibTeX RDF
21	Nishant Prabhu, Hiteshi Jain, Abhishek Tripathi	MTL-FoUn: A Multi-Task Learning Approach to Form Understanding.	ICDAR Workshops (2)	2021	DBLP DOI BibTeX RDF
21	Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas	MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
21	Li Luo, Zhekang Dong, Xiaofang Hu, Lidan Wang 0001, Shukai Duan	MTL: Memristor Ternary Logic Design.	Int. J. Bifurc. Chaos	2020	DBLP DOI BibTeX RDF
21	Härmel Nestra	Equational Reasoning for MTL Type Classes.	CoRR	2020	DBLP 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.	CoRR	2020	DBLP BibTeX RDF
21	Guoqing Bao, Huai Chen, Tongliang Liu, Guanzhong Gong, Yong Yin, Lisheng Wang, Xiuying Wang	COVID-MTL: Multitask Learning with Shift3D and Random-weighted Loss for Automated Diagnosis and Severity Assessment of COVID-19.	CoRR	2020	DBLP BibTeX RDF
21	John Cai, Bill Cai, Sheng Mei Shen	SB-MTL: Score-based Meta Transfer-Learning for Cross-Domain Few-Shot Learning.	CoRR	2020	DBLP 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.	CoRR	2020	DBLP BibTeX RDF
21	Ya-Lin Zhang 0001, Longfei Li	Interpretable MTL from Heterogeneous Domains using Boosted Tree.	CoRR	2020	DBLP BibTeX RDF
21	Guillermo Badia, Grigory K. Olkhovikov	A Lindström theorem in many-valued modal logic over a finite MTL-chain.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
21	José Luis Castiglioni, William Javier Zuluaga Botero	On finite MTL-algebras that are representable as poset products of archimedean chains.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF