QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems
Vandin, Andrea, ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto·2018·EasyChair Preprints
DOI 10.29007/1mjd
Cited by (194)
Items 101–194 of 194
- Modeling Long & Short-term Interests and Assigning Sample Weight for Multi-behavior Sequential RecommendationTianyang Li, Hong-Bin Yan, Xingyun Wei · 2024 · IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
- Local Masked Reconstruction for Efficient Self-Supervised Learning on High-Resolution ImagesJun Chen, Faizan Farooq Khan, Ming Hu, Ammar Sherif, Zongyuan Ge, Boyang Li, Mohamed Elhoseiny · 2025 · IEEE Winter Conference on Applications of Computer Vision
- Stack Trace Deduplication: Faster, More Accurately, and in More Realistic ScenariosEgor Shibaev, Denis Sushentsev, Yaroslav Golubev, Aleksandr Khvorov · 2025 · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
- SCA3D: Enhancing Cross-Modal 3D Retrieval via 3D Shape and Caption Paired Data AugmentationJunlong Ren, Hao Wu, Hui Xiong, Hao Wang · 2025 · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
- Multi-Margin Cosine Loss: Proposal and Application in Recommender SystemsMakbule Gülçin Özsoy · 2024 · International Conference on Machine Learning and Applications
- Static analysis and family-based model checking of featured transition systems with VMCMaurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michaël Lienhardt · 2021 · International Software Product Line Conference (SPLC)
- Verification of Variability-Intensive Stochastic Systems with Statistical Model CheckingSami Lazreg, Maxime Cordy, Axel Legay · 2022 · Lecture notes in computer science
- Shepherding Hordes of Markov ChainsMilan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen · 2019 · arXiv (Cornell University)
- A GAN-Based Domain Adapted Deep Learning Pipeline for Object Detection in an Intralogistics Warehouse EnvironmentMohammad Rashed, Mohamed H. Bakr, Hisham ElMoaqet · 2024 · Mediterranean Conference on Control and Automation (MED)
- Multi-Scale Contrastive Learning Networks for Graph Anomaly DetectionJiang Zhe'ao · 2024 · Asia-Pacific Conference on Communications Technology and Computer Science (ACCTCS)
- MuSAC: Mutualistic Sensing and Communication for Mobile CrowdsensingSijie Ji, Lixiang Lian, Yuanqing Zheng, Chenshu Wu · 2024 · IEEE International Conference on Distributed Computing Systems (ICDCS)
- Rapid Learning of Natural Gaits for Quadrupedal Locomotion and Skill Reuse in Downstream TasksKaicen Li, Wei Gao, Shiwu Zhang · 2024 · IEEE International Conference on Robotics and Biomimetics (ROBIO)
- Detecting Plagiarism in Music Clips Using Audio Signature MatchingV Nikitha, Sudhanva Vasanth Samaga, Shrey, Yashwanth Rao M P, Charu Kathuria · 2025 · International Conference on Knowledge and Smart Technology
- UltraWiki: Ultra-Fine-Grained Entity Set Expansion with Negative Seed EntitiesYangning Li, Qingsong Lv, Tianyu Yu, Yinghui Li, Xuming Hu, Wenhao Jiang, Hai-Tao Zheng, Hui Zhu Wang · 2025 · IEEE International Conference on Data Engineering (ICDE)
- FedSKC: Federated Learning with Non-IID Data via Structural Knowledge CollaborationHuan Wang, Haoran Li, Huaming Chen, Jun Hua Yan, Lijuan Wang, Jiahua Shi, Shiping Chen, Jun Shen · 2025 · IEEE International Conference on Web Services (ICWS)
- Generalized Parameter Lifting: Finer Abstractions for Parametric Markov ChainsLinus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges · 2025 · Lecture notes in computer science
- Representation Learning for Semantic Alignment of Language, Audio, and Visual ModalitiesParthasaarathy Sudarsanam, Irene Martín-Morató, Tuomas Virtanen · 2025 · European Signal Processing Conference (EUSIPCO)
- Local-Global Attention Network via Online Self-Supervised Learning for Parkinson's Disease DiagnosisZhongwei Huang, Chengjia Liang, Y. M. Peng, Chao Chen, Haijun Lei, Baohua Tan · 2025 · IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
- GL-Net with SC-Loss: A Deep Learning Approach for Robust Classification of Gastric Mucosal Atrophy in Endoscopic ImagingYulin Zhao, Xinao Jin, Yuqi Cao, G. Y. Zhang, Yuehua Han, Guangxin Zhang · 2025 · International Conference on Computer, Vision and Intelligent Technology (ICCVIT)
- ClearVision: Leveraging CycleGAN and SigLIP-2 for Robust All-Weather Classification in Traffic Camera ImageryAnush Lakshman Sivaraman, Kojo Konadu Adu-Gyamfi, Ibne Farabi Shihab, Anuj Sharma · 2025 · IEEE International Conference on Intelligent Transportation Systems (ITSC)
- MIGC: Multi-intent Graph Contrastive Learning in RecommendationDejun Lei · 2022 · IEEE International Conference on Computer and Communications (ICCC)
- In-Batch Negatives' Enhanced Self-Supervised LearningYixin Tang, Hua Nong Cheng, Yiquan Fang, Yiming Pan · 2022 · IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
- CLPL: A Self-supervised Contrastive Learning Pseudo-Labeling Framework for Tabular DataAbolfazl Farahani, Navid Hashemi Tonekaboni, Khaled Rasheed, Hamid Reza Arabnia · 2022 · International Conference on Computational Science and Computational Intelligence (CSCI)
- GCL-GCN: a Graph Contrastive LearningBased Graph Convolutional Network for API RecommendationChijie Xie, Rong Hu · 2023 · International Conference on Software Engineering and Computer Science (CSECS)
- Enhancing Robustness of Indoor Robotic Navigation with Free-Space Segmentation Models Against Adversarial AttacksQiyuan An, Christos Sevastopoulos, Fillia S. Makedon · 2023 · IEEE International Conference on Robotic Computing (IRC)
- Masked Contrastive Representation Learning for Self-Supervised Visual Pre-TrainingYuchong Yao, Nandakishor Desai, Marimuthu Swami Palaniswami · 2024 · IEEE International Conference on Data Science and Advanced Analytics (DSAA)
- Learning Contrastive Emotional Nuances in Speech SynthesisBryan Gautama Ngo, Mahdin Rohmatillah, Jen‐Tzung Chien · 2024 · International Conference on Speech Database and Assessments
- MH-CLR: A Self-Supervised Learning Strategy Based on Hard Sample Mining and Masked AutoencodersChenghan Yang, Chao Li, Lei Guo · 2024 · IEEE International Conference on Anti-counterfeiting, Security, and Identification (ASID)
- Heterogeneous Space Fusion and Dual-Dimension Attention: A New Paradigm for Speech EnhancementTao Zheng, Liejun Wang, Yingfeng Yu · 2024 · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics
- Spatial-Temporal Traffic Forecasting Based on Bottom-Up Representation LearningPengnan Chi, Xiaoliang Ma · 2024 · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics
- MOOSS: Mask-Enhanced Temporal Contrastive Learning for Smooth State Evolution in Visual Reinforcement LearningJiarui Sun, M. Ugur Akcal, Girish Vinayak Chowdhary, Wei Zhong Zhang · 2025 · IEEE Winter Conference on Applications of Computer Vision
- Inductive Synthesis for Probabilistic Programs Reaches New HorizonsRoman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen · 2021 · Lecture notes in computer science
- Schema Item Matters in Knowledge Base Question AnsweringZhe Wen, Qingyi Si, Zheng Lin, Huan Liu, Peng Fu, Weiping Wang · 2023 · International Joint Conference on Neural Networks (IJCNN)
- Data Center KPI Prediction based on Contrastive Learning and Frequency Domain EnhancementKun Xue, Xiangyang Feng, Ming Zhu, Qinglan Luo, Xia Shang · 2023 · International Conference on Algorithms, Computing and Data Processing (ACDP)
- Contrastive Clustering with False Negatives Exclusion and Filtering AttractionQiyi Wu, Yan Tao Yang, Yongquan Jiang · 2023 · International Conference on Intelligent Systems and Knowledge Engineering (ISKE)
- A Few-Label Contrastive Transfer Fault Diagnosis Method for Rolling Element BearingsJiawei Liu, Zhe Yang, Yunwei Huang, Jianyu Long, Chuan Li · 2023 · International Conference on Sensing, Measurement & Data Analytics in the era of Artificial Intelligence (ICSMD)
- Audio Classification with Semi-Supervised Contrastive Loss and Consistency RegularizationJuan-Wei Xu, Yi-Ren Yeh · 2024 · IEEE Annual International Computer Software and Applications Conference (COMPSAC)
- A Washing Machine is All You Need? On the Feasibility of Machine Data for Self-Supervised Human Activity RecognitionHarish Haresamudram, Irfan A. Essa, Thomas Plötz · 2024 · International Conference on Activity and Behavior Computing (ABC)
- PID3D: 3D Object Detection with Object Proposal Instance DiscriminationKaifeng Jian, Huilin Yin · 2024 · International Conference on Electronic Engineering and Informatics (EEI)
- High-Dimensional Feature Fusion for Font Generation with Denoising DiffusionXinlong Liu, Xiafen Zhang · 2024 · International Conference on Machine Learning and Computer Application (ICMLCA)
- XGRADATE: Graph Anomaly Detection via Multi-Scale Cross-Layer Contrastive Learning NetworksKaixu Zhu · 2024 · IEEE International Conference on Information Systems and Computer Aided Education (ICISCAE)
- Class Incremental Learning for Knowledge Acquisition Based on Prototype Network Gating MechanismYuming Feng, Xiaolong Jin, Haozhe Liang, Jiafeng Guo · 2024 · IEEE International Conference on Medical Artificial Intelligence (MedAI)
- Recommendation Method Based on Multi-task Learning and Graph Collaborative FilteringZhimin Wang, Wenqiang Zhu · 2024 · International Conference on Cloud Computing, Big Data Application and Software Engineering (CBASE)
- CMBSR: Contrastive Multi-Behavior Social Recommendation via Graph Neural NetworksJiansheng Fu, Yuxing Zong, Xiaorong Shen, Shi‐Min Cai · 2024 · China Automation Congress (CAC)
- Hypergraph Contrastive Learning with Graph Structure Learning for RecommendationYuma Dose, Shuichiro Haruta, Yihong Zhang, Takahiro Hara · 2024 · International Conference on Machine Learning and Applications
- PULSE: Physiological Understanding with Liquid Signal ExtractionShahzad Ahmad, Sania Bano, Sachin Verma, Yogesh Singh Rawat, Sukalpa Chanda, Santosh Kumar Vipparthi, Subrahmanyam Murala · 2025 · IEEE Winter Conference on Applications of Computer Vision
- Estimation of POI Characteristics Based on Visitor Mobility BehaviorLandy Rajaonarivo, Tsunenori Mine · 2024 · IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT)
- MV-Poseformer: Direct Multi-View 6D Object Pose Estimation with TransformersChao Wen, Yaling Liang · 2025 · International Seminar on Artificial Intelligence, Networking and Information Technology (AINIT)
- Hyp-OC: Exploiting Hyperbolic Distance Enhances Open-World Contrastive LearningTeng Guo, Dongfang Ma, Yun Xu, Zhaoyang Ma · 2025 · International Conference on Computer Supported Cooperative Work in Design (CSCWD)
- Contrastive Learning Based Dynamic Redundancy Detection for Visual Crowdsensing DataZiyue Yu, Zhiwen Yu, Zhaoxiang Huang, Jiangyan Xu, Lele Zhao, Bin Guo · 2024 · International Conference on Mobility, Sensing and Networking (MSN)
- MCLS-AI: Bridging Activity Identification and Multipath RFID Signals via Contrastive LearningCheng Pan, Danyang Song, Edith C.‐H. Ngai, Cong Zhang · 2025 · IEEE International Conference on Digital Signal Processing (DSP)
- Contrastive Clustering for Cross-Modal Alignment and Distribution Bias in Visual Question AnsweringXingyu Chen, Tongyan Li, Guanhua Qiu, Junkai Wang · 2025 · International Conference on Electronics, Integrated Circuits and Communication Technology (EICCT)
- AdaMove: Efficient Test-Time Adaptation for Human Mobility PredictionHuaxu Han, Shuliang Wang, Sijie Ruan, Qianyu Yang, Yuxuan Liang, Ziqiang Yuan, Cheng Long, Hanning Yuan, Yu Zheng · 2025 · IEEE International Conference on Data Engineering (ICDE)
- Multi-Layer Feature Exchange Transformer for Multi-View 6D Object Pose Estimation in Robot Bin PickingMomen Khalil, Vincent Dietrich, Slobodan Ilić · 2025 · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
- Visually Robust Adversarial Imitation Learning from Videos with Contrastive LearningVittorio Giammarino, James Queeney, Ioannis Ch. Paschalidis · 2025 · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
- Discrete Contrastive Learning for Diffusion Policies in Autonomous DrivingKalle Kujanpää, Daulet Baimukashev, Farzeen Munir, Shoaib Azam, Tomasz Piotr Kucner, Joni Pajarinen, Ville Kyrki · 2025 · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
- Unsupervised Domain Adaptation for Gait State EstimationRoberto Leo Medrano, Gray C. Thomas, Elliott Jay Rouse · 2025 · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
- ConTrack3D: Contrastive Learning Contributes Concise 3D Multi-Object TrackingRuibin Du, Ziheng Ding, Xiaze Zhang, Zhuoyao Wang, Ying Cheng, Rui Feng · 2025 · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
- Boosting the Cost-Effectiveness of Metamorphic Test Case Pair Selection for DNN Testing with Surrogate ModelJialin Fan, Jingling Wang, Shengyou Hu, Huayao Wu, Changhai Nie · 2025 · IEEE International Conference on Software Quality, Reliability and Security (QRS)
- Mutual Information-Based Feature Pyramid Enhancement for Real-Time Detection TransformerLinhe Yang, Linhe Yang, Guangyao Pang, Jiecheng Li, Chengfeng Wei · 2025 · IEEE International Conference on High Performance Computing and Communications; IEEE International Conference on Smart City; IEEE International Conference on Data Science and Systems (HPCC/SmartCity/DSS)
- Data-Efficient Music Captioning Via Contrastive and Semantic AlignmentLeekyung Kim, Jonghun Park · 2025 · Asia-Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA ASC)
- User-Friendly Foundation Model Adapters for Multivariate Time Series ClassificationRomain Ilbert, Vasilii Feofanov, Malik Tiomoko, Ievgen Redko, Themis Palpanas · 2025 · IEEE International Conference on Data Engineering Workshops (ICDEW)
- Latent Interest Discovery and Cross-Level Interest Alignment for Multimodal RecommendationChenyu Sun, Haokai Liang, Wenze Ma, Yanmin Zhu, Qinghua Chen · 2025 · IEEE International Conference on Parallel and Distributed Systems (ICPADS)
- GOTE: You Can GrOund TwicE for Long Temporal Video GroundingZhihan Zhang, Dong Yin · 2025 · International Conference on Machine Learning and Computer Application (ICMLCA)
- Enhancing Vision-Language Model Pre-Training with Image-Text Pair Pruning Based on Word FrequencyMingliang Liang, Martha Larson · 2025 · International Workshop on Content-Based Multimedia Indexing (CBMI)
- DATCA: Dual-Anchor Guided Tri-Domain Contrastive Alignment for Cross-Modality Medical Image SegmentationYifeng Hong, Xu Chen, Yang Wang, Xiyu Zhang · 2025 · IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
- Spatial-Aware Symmetric Alignment for Text-Guided Medical Image SegmentationLinglin Liao, Yu Liu, Qichuan Geng · 2025 · IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
- Robust Prototype-Driven Patient Representation Enhancement for Disease PredictionHongxu Yuan, Xiaozhu Jing, Yuzheng Yan, Wuman Luo · 2025 · IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
- GSToxi: Gated Cross-Modal Modeling With Graph-Sequence Encoders for Peptide Toxicity PredictionLi Wang, Xiangzheng Fu, Tianyi Shi, Xiucai Ye, Tetsuya Sakurai, Yiping Liu · 2025 · IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
- Learning Robust Aligned Representations Across Multiple Visual Modalities in Human Action RecognitionDavid J. Lerch, Bastian Rothenburger, Zeyun Zhong, Manuel Martín, Frederik Diederichs, Rainer Stiefelhagen · 2025 · IEEE International Conference on Computer Vision Workshops
- Align Before You Recommend: Parameter Efficient Personalization via Cross-Attentive Fusion of Hierarchical Language ModelsAlicja Kwaśniewska, Marcin Bednarz, Chad Neal · 2025 · IEEE International Conference on Computer Vision Workshops
- GeoToken: Hierarchical Geolocalization of Images via Next Token PredictionNarges Ghasemi, Amir Ziashahabi, Salman Avestimehr, Cyrus Shahabi · 2025 · Industrial Conference on Data Mining
- WWAggr: A Window Wasserstein-Based Aggregation for Ensemble Change Point DetectionAlexander Stepikin, Evgenia Romanenkova, Alexey Zaytsev · 2025 · Proceedings
- AdaSports-Traj: Role- and Domain-Aware Adaptation for Multi-Agent Trajectory Modeling in SportsYi Xu, Yun Fu · 2025 · Proceedings
- An Efficient Swin Transformer Architecture Based on Grouped Query AttentionLi Wang, Zhong Ma · 2025 · International Conference on Pattern Recognition and Artificial Intelligence (PRAI)
- Video Retrieval Architecture Based on Contrastive Learning and Gaussianized Label MechanismsKaixuan Sun, Linlin Wang, Yutao Yao, Jiang Shao, Jiajia Nie, Xueqing Li, Zenghuan Cheng · 2025 · International Conference on Pattern Recognition and Artificial Intelligence (PRAI)
- SCL-CFSR: Context-Aware Session-Based Recommendation via Self-Contrastive Learning and Multi-Layer Self-Filtering Residual AttentionJing He, Han Zhang, Lin Chen, Cheng Luo, Wei Guo, Zhen Zhang · 2025 · IEEE International Conference on Big Data (BigData)
- Self-Supervised and Domain-Adaptive Deep Learning for Early Detection of Cyber-Attacks in Healthcare Iot SystemsMd Iftekhar Monzur Tanvir, Nusrat Yasmin Nadia, Habibor Rahman Rabby, Md Habibul Arif, Sheikh Razia Sultana, Kamruddin Md. Nur · 2025 · International Conference on Innovation and Intelligence for Informatics, Computing, and Technologies (3ICT)
- VimCLIP: A Vision Mamba Based Multimodal Approach for Retrieval and Zero-Shot Classification TasksAmbarish Parthasarathy, Sumohana S. Channappayya · 2026 · National Conference on Communications
- ProbMED: A Probabilistic Framework for Medical Multimodal BindingYuan Gao, Sangwook Kim, Jianzhong You, Chris McIntosh · 2025 · IEEE/CVF International Conference on Computer Vision (ICCV)
- Trackverse: a Large-Scale Object-Centric Video Dataset for Image-Level Representation LearningYibing Wei, Samuel Church, Victor Suciu, Jinhong Lin, Cheng-En Wu · 2025 · IEEE/CVF International Conference on Computer Vision (ICCV)
- MSA 2 : Multi-Task Framework With Structure-Aware and Style-Adaptive Character Representation for Open-Set Chinese Text RecognitionYangfu Li, Hongjian Zhan, Qi Liu, Li Sun, Yu-Jie Xiong, Yue Lu · 2025 · IEEE/CVF International Conference on Computer Vision (ICCV)
- MultiModal Action Conditioned Video SimulationLi Yichen, Antonio B. Torralba · 2025 · IEEE/CVF International Conference on Computer Vision (ICCV)
- Robust Task-Oriented Semantic Communication with Visual-Brain Multimodal LearningZhixiang Hu, Zhilong Zhang, Changhao Sun, Danpu Liu, Tao Luo, Sihua Wang · 2026 · IEEE Wireless Communications and Networking Conference
- Disentangled Feature Representation Learning for SAR to Optical Image TranslationRahul Roy, Susmita Ghosh, Ashish Kumar Ghosh · 2025 · IEEE India Geoscience and Remote Sensing Symposium (InGARSS)
- Knowledge Graph Question Answering via Query-Guided Dynamic Subgraph Extraction and Cross-AttentionDong Tian, Yiming Dang, Cheng Gong, Ligang Ren, Yifei Wei · 2026 · IEEE International Conference on Electronics, Communications and Intelligent Science (ECIS)
- ViG-Net: View-Invariant Representation Learning for Lightweight Robotic Grasp Detection via Contrastive Auxiliary SupervisionYijiu Ma, Zecheng Jin, Long Chen · 2026 · International Conference on Complex Systems and Automation Control (CSAC)
- DE-C 3 : Robust Kleihauer-Betke Test via Data-Efficient Contrastive Cell ClassificationSheng Shen, Austin Jin, Jerry Kaizhong Wang, Amy Chadburn, Junsong Yuan, Sabrina Racine Brzostek, Nan Xi · 2026 · Multidimensional Signal Processing Workshop
- Learning Selective Invariance for Augmentation-Based Self-Supervised Learning to Improve Cross-User Human Activity RecognitionZixin Tong, Belal Abuhaija, Zhiqiang Gao · 2026 · Multidimensional Signal Processing Workshop
- Prompt-Guided Community Search Under Extreme Few-Shot SupervisionWenxin Yang, Kaiyu Feng, Lanting Fang, Kangfei Zhao, Xia Wu · 2026 · IEEE International Conference on Data Engineering (ICDE)
- Social Recommendation with Generative Adversarial DenoisingJunwei Hu, Xiantao Cai, Wenbin Hu · 2026 · IEEE International Conference on Web Services (ICWS)
- Multi-Task Contrastive Learning for Heterogeneous Graph-Based Music RecommendationSarthak K Bhat, Sujatha R Upadhyaya · 2026 · International Conference on Machine Learning Technologies (ICMLT)
- Hierarchical Contrastive Learning for Organic Reaction Similarity Evaluation with its Application in RetrosynthesisYu Peng, Fuyue Ren, Zhenxun Li, Hexing Wu, Zhe Li, Yuhang Cao, Pengpeng Zhang, Jingyi Lu · 2026 · Asian Control Conference (ASCC)
- NaiLIA: Multimodal Nail Design Retrieval Based on Dense Intent Descriptions and Palette QueriesKanon Amemiya, Daichi Yashima, Kei Katsumata, Takumi Komatsu, Ryosuke Korekata, Seitaro Otsuki, Komei Sugiura · 2026