| 2026 | AAAI | Boomda: Balanced Multi-objective Optimization for Multimodal Domain Adaptation. | Jun Sun, Xinxin Zhang, Simin Hong, Jian Zhu, Xiang Gao |
| 2026 | AAAI | SafetyReminder: Reviving Delayed Safety Awareness of Vision-Language Models to Defend Against Jailbreak Attacks. | Peiyuan Tang, Haojie Xin, Xiaodong Zhang, Jun Sun, Qin Xia, Zijiang James Yang |
| 2026 | AAAI | Towards Provably Unlearnable Examples via Bayes Error Optimization. | Ruihan Zhang, Jun Sun, Ee-Peng Lim, Peixin Zhang |
| 2026 | ACL | Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets. | Yuan Xiao, Jiaming Wang, Yuchen Chen, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen |
| 2026 | ACL | Rendering Data Unlearnable by Exploiting LLM Alignment Mechanisms. | Ruihan Zhang, Jun Sun |
| 2026 | EACL | Unleashing the Unseen: Harnessing Benign Datasets for Jailbreaking Large Language Models. | Wei Zhao, Zhe Li, Yige Li, Jun Sun |
| 2026 | FM | Selective Concolic Testing. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu |
| 2026 | ICPR | Following the Teacher's Footsteps: Scheduled Checkpoint Distillation for Domain-Specific LLMs. | Cheng Feng, Chaoliang Zhong, Jun Sun, Yusuke Oishi |
| 2025 | AAAI | Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. | Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang |
| 2025 | AAAI | Unleashing the Power of Visual Foundation Models for Generalizable Semantic Segmentation. | Peiyuan Tang, Xiaodong Zhang, Chunze Yang, Haoran Yuan, Jun Sun, Danfeng Shan, Zijiang James Yang |
| 2025 | ACL | Adversarial Alignment with Anchor Dragging Drift (A³D²): Multimodal Domain Adaptation with Partially Shifted Modalities. | Jun Sun, Xinxin Zhang, Simin Hong, Jian Zhu, Lingfang Zeng |
| 2025 | CCS | Generalized Security-Preserving Refinement for Concurrent Systems. | Huan Sun, David Sann, Jingyi Wang, Yongwang Zhao, Jun Sun, Wenhai Wang |
| 2025 | CIKM | Channel-Independent Refiner for Multivariate Time Series Forecasting. | Jie Wang, Zhongguang Zheng, Chaoliang Zhong, Jun Sun |
| 2025 | DASFAA | Crafting Global Information in Mini-Batches for Knowledge Tracing. | Hui Zhao, Yanze Wang, Jun Sun |
| 2025 | DASFAA | Transcending Conventional Binary Labels: Revamping Knowledge Tracing with VAE-Generated Image Representation. | Hui Zhao, Yanze Wang, Jun Sun |
| 2025 | EMNLP | Third-Person Appraisal Agent: Simulating Human Emotional Reasoning in Text with Large Language Models. | Simin Hong, Jun Sun, Hongyang Chen |
| 2025 | EMNLP | Do Influence Functions Work on Large Language Models? | Zhe Li, Wei Zhao, Yige Li, Jun Sun |
| 2025 | EMNLP | Zero-Shot Defense Against Toxic Images via Inherent Multimodal Alignment in LVLMs. | Wei Zhao, Zhe Li, Yige Li, Jun Sun |
| 2025 | GLOBECOM | Interference Nulling in Two-way K-User Interference Channel Using RIS. | Junzhi Wang, Jun Sun, Zheng Xiao, Limin Liao, Yingzhuang Liu |
| 2025 | ICASSP | STR-Saliency: Decomposition-based Perturbations to Generate Saliency Maps for Temporal Black-box Model Interpretation. | Runkai Chen, Yuedi Chen, Haozhe Xu, Xiaopeng Guo, Jun Sun |
| 2025 | ICASSP | Efficient Object Placement Via LLM and Diffusion Model. | Wei Liu, Liuan Wang, Jun Sun |
| 2025 | ICASSP | Efficient Modeling and Low Complexity Implementation of Rate Estimation in Versatile Video Coding. | Yanze Wang, Tianyi Sun, Hui Zhao, Jun Sun |
| 2025 | ICASSP | Neural Adaptive Contextual Video Streaming. | Jianchao Yang, Mufan Liu, Puyue Hou, Yiling Xu, Jun Sun |
| 2025 | ICASSP | Dynamic SRM Curriculum for Trustworthy Multi-modal Classification. | Jian Zhu, Cui Yu, Xin Zou, Zhangmin Huang, Chenshu Hu, Jun Sun, Bo Lyu, Lei Liu, Chang Tang, Li-Rong Dai |
| 2025 | ICFEM | Modeling and Verifying Concurrent Reactive Systems Using Separation Logic. | Huan Sun, David Sann, Jun Sun, Wenhai Wang |
| 2025 | ICIS | Collaboration with Generative AI: Adaptive Structuration Across Shared and Individual Use Models. | Jun Sun, Md Rafiqul Islam, Ying Wang |
| 2025 | ICLR | Democratic Training Against Universal Adversarial Perturbations. | Bing Sun, Jun Sun, Wei Zhao |
| 2025 | ICML | LLMScan: Causal Scan for LLM Misbehavior Detection. | Mengdi Zhang, Kai Kiat Goh, Peixin Zhang, Jun Sun, Lin Xin Rose, Hongyu Zhang |
| 2025 | ICML | CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization. | Nay Myat Min, Long H. Pham, Yige Li, Jun Sun |
| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong |
| 2025 | IJCAI | Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity. | Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang |
| 2024 | AAAI | Multi-Region Text-Driven Manipulation of Diffusion Imagery. | Yiming Li, Peng Zhou, Jun Sun, Yi Xu |
| 2024 | AAAI | RedCore: Relative Advantage Aware Cross-Modal Representation Learning for Missing Modalities with Imbalanced Missing Rates. | Jun Sun, Xinxin Zhang, Shoukang Han, Yu-Ping Ruan, Taihao Li |
| 2024 | ACL | Amanda: Adaptively Modality-Balanced Domain Adaptation for Multimodal Emotion Recognition. | Xinxin Zhang, Jun Sun, Simin Hong, Taihao Li |
| 2024 | APWEB | Data Augmentation for Knowledge Tracing Based on Variational AutoEncoder and Efficient Network Reusing. | Hui Zhao, Jun Sun |
| 2024 | CAV | Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. | Ruihan Zhang, Jun Sun |
| 2024 | EMNLP | DetectiveNN: Imitating Human Emotional Reasoning with a Recall-Detect-Predict Framework for Emotion Recognition in Conversations. | Simin Hong, Jun Sun, Taihao Li |
| 2024 | EMNLP | Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. | Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun |
| 2024 | FM | Certified Quantization Strategy Synthesis for Neural Networks. | Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong |
| 2024 | ICANN | CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. | Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu |
| 2024 | ICASSP | Anti-Deception Jamming Power Optimization Strategy for Multi-Target Tracking Tasks in Multi-Radar Systems. | Jun Sun, Ye Yuan, Maria Sabrina Greco, Fulvio Gini, Wei Yi |
| 2024 | ICDE | GPU-Based Efficient Parallel Heuristic Algorithm for High-Utility Itemset Mining in Large Transaction Datasets (Extended Abstract). | Wei Fang, Haipeng Jiang, Hengyang Lu, Jun Sun, Xiaojun Wu, Jerry Chun-Wei Lin |
| 2024 | ICDE | Mutual Information-Guided GA for Bayesian Network Structure Learning (Extended Abstract). | Kefei Yan, Wei Fang, Hengyang Lu, Xin Zhang, Jun Sun, Xiaojun Wu |
| 2024 | ICIP | Conditional Past Experience Generation for Dark Continual Learning. | Cheng Feng, Chaoliang Zhong, Jie Wang, Jun Sun, Yasuto Yokota |
| 2024 | ICPR | NR-CION: Non-rigid Consistent Image Composition Via Diffusion Model. | Wei Liu, Liuan Wang, Jun Sun |
| 2024 | IGARSS | SAR Sea Clutter Data Generation Based On Improved Pix2pix Network. | Jun Sun, Genwang Liu, Xi Zhang, Chenghui Cao, Weifeng Sun |
| 2024 | ICPR | Temporal Insight Enhancement: Mitigating Temporal Hallucination in Video Understanding by Multimodal Large Language Models. | Li Sun, Liuan Wang, Jun Sun, Takayuki Okatani |
| 2023 | AAAI | One-for-All: Proposal Masked Cross-Class Anomaly Detection. | Xincheng Yao, Chongyang Zhang, Ruoqi Li, Jun Sun, Zhenyu Liu |
| 2023 | ACL | Layer-wise Fusion with Modality Independence Modeling for Multi-modal Emotion Recognition. | Jun Sun, Shoukang Han, Yu-Ping Ruan, Xiaoning Zhang, Shu-Kai Zheng, Yulong Liu, Yuxin Huang, Taihao Li |
| 2023 | ACSAC | Mitigating Membership Inference Attacks via Weighted Smoothing. | Mingtian Tan, Xiaofei Xie, Jun Sun, Tianhao Wang |
| 2023 | CAV | QEBVerif: Quantization Error Bound Verification of Neural Networks. | Yedi Zhang, Fu Song, Jun Sun |
| 2023 | CVPR | Explicit Boundary Guided Semi-Push-Pull Contrastive Learning for Supervised Anomaly Detection. | Xincheng Yao, Ruoqi Li, Jing Zhang, Jun Sun, Chongyang Zhang |
| 2023 | FUSION | Power Allocation for Multi-Target Tracking in Netted Radar System under Suppression Jamming. | Haicheng Xu, Ye Yuan, Jun Sun, Wei Yi |
| 2023 | ICDE | Mining High Quality Patterns Using Multi-Objective Evolutionary Algorithm (Extended Abstract). | Wei Fang, Qiang Zhang, Jun Sun, Xiaojun Wu |
| 2023 | ICFEM | An Idealist's Approach for Smart Contract Correctness. | Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le |
| 2023 | ICICS | Black-Box Fairness Testing with Shadow Models. | Weipeng Jiang, Chao Shen, Chenhao Lin, Jingyi Wang, Jun Sun, Xuanqi Gao |
| 2023 | ICIP | Semantic-Embedded Knowledge Acquisition and Reasoning for Image Segmentation. | Wei Liu, Huigang Zhang, Xiaojie Xia, Liuan Wang, Jun Sun |
| 2023 | ICIP | Prompt Prototype Learning Based on Ranking Instruction For Few-Shot Visual Tasks. | Li Sun, Liuan Wang, Jun Sun, Takayuki Okatani |
| 2022 | AVSS | FBMOT: Flow Bridges the Gap between Detection and Tracking in Multiple Object Tracking. | Lisheng Wu, Liuan Wang, Jun Sun |
| 2022 | CAV | Verifying Neural Networks Against Backdoor Attacks. | Long H. Pham, Jun Sun |
| 2022 | CVPR | No-Reference Point Cloud Quality Assessment via Domain Adaptation. | Qi Yang, Yipeng Liu, Siheng Chen, Yiling Xu, Jun Sun |
| 2022 | ICONIP | Deep Global and Local Matching Network for Implicit Recommendation. | Wei Yang, Yiqun Chen, Jun Sun, Yan Jin |
| 2022 | IJCAI | Learning Unforgotten Domain-Invariant Representations for Online Unsupervised Domain Adaptation. | Cheng Feng, Chaoliang Zhong, Jie Wang, Ying Zhang, Jun Sun, Yasuto Yokota |
| 2021 | APSEC | Verification Assisted Gas Reduction for Smart Contracts. | Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu |
| 2021 | CIKM | CANN: Coupled Approximation Neural Network for Partial Domain Adaptation. | Cheng Feng, Chaoliang Zhong, Jie Wang, Jun Sun, Yasuto Yokota |
| 2021 | DCC | An Efficient QP Variable Convolutional Neural Network Based In-loop Filter for Intra Coding. | Zhijie Huang, Xiaopeng Guo, Mingyu Shang, Jie Gao, Jun Sun |
| 2021 | FASE | SpecTest: Specification-Based Compiler Testing. | Richard Schumi, Jun Sun |
| 2021 | FM | Probabilistic Verification of Neural Networks Against Group Fairness. | Bing Sun, Jun Sun, Ting Dai, Lijun Zhang |
| 2021 | ICDAR | Key-Guided Identity Document Classification Method by Graph Attention Network. | Xiaojie Xia, Wei Liu, Ying Zhang, Liuan Wang, Jun Sun |
| 2021 | ICIP | EBB: Progressive Optimization For Partial Domain Adaptation. | Cheng Feng, Chaoliang Zhong, Jie Wang, Jun Sun, Yasuto Yokota |
| 2021 | ICIP | Point Cloud Geometry Compression Via Neural Graph Sampling. | Linyao Gao, Tingyu Fan, Jianqiang Wan, Yiling Xu, Jun Sun, Zhan Ma |
| 2021 | ICIP | Dual-Consistency Self-Training For Unsupervised Domain Adaptation. | Jie Wang, Chaoliang Zhong, Cheng Feng, Jun Sun, Masaru Ide, Yasuto Yokota |
| 2021 | ICIP | Feature Disentanglement For Cross-Domain Retina Vessel Segmentation. | Jie Wang, Chaoliang Zhong, Cheng Feng, Jun Sun, Yasuto Yokota |
| 2021 | ICIP | Knowledge-Based Reasoning Network For Object Detection. | Huigang Zhang, Liuan Wang, Jun Sun |
| 2020 | AAAI | CircleNet for Hip Landmark Detection. | Hai Wu, Hongtao Xie, Chuanbin Liu, Zheng-Jun Zha, Jun Sun, Yongdong Zhang |
| 2020 | AISTATS | Finite-Time Analysis of Decentralized Temporal-Difference Learning with Linear Function Approximation. | Jun Sun, Gang Wang, Georgios B. Giannakis, Qinmin Yang, Zaiyue Yang |
| 2020 | CAV | Global PAC Bounds for Learning Discrete Time Markov Chains. | Hugo Bazille, Blaise Genest, Cyrille Jgourel, Jun Sun |
| 2020 | CEC | Learning Bayesian Networks Structures with an Effective Knowledge-driven GA. | Weijian Zhang, Wei Fang, Jun Sun, Qidong Chen |
| 2020 | FASE | A Generalized Formal Semantic Framework for Smart Contracts. | Jiao Jiao, Shang-Wei Lin, Jun Sun |
| 2020 | GECCO | A fast GA for automatically evolving CNN architectures. | Zhou Hong, Wei Fang, Jun Sun, Xiaojun Wu |
| 2020 | ICECCS | An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. | Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai |
| 2020 | ICECCS | Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. | Xuan-Bach Le, David Sann, Jun Sun, Shang-Wei Lin |
| 2020 | ICECCS | IFIX: Fixing Concurrency Bugs While They Are Introduced. | Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen |
| 2020 | ICFEM | Learning Fault Models of Cyber Physical Systems. | Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay |
| 2020 | ICIP | Multilevel Interaction Reasoning For Complex Event Recognition. | Shicheng Li, Hua Yang, Jun Sun |
| 2020 | ICPR | CSpA-DN: Channel and Spatial Attention Dense Network for Fusing PET and MRI Images. | Bicao Li, Zhoufeng Liu, Shan Gao, Jenq-Neng Hwang, Jun Sun, Zongmin Wang |
| 2019 | AAAI | Safeguarded Dynamic Label Regression for Noisy Supervision. | Jiangchao Yao, Hao Wu, Ya Zhang, Ivor W. Tsang, Jun Sun |
| 2019 | APLAS | Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. | Long H. Pham, Jun Sun, Quang Loc Le |
| 2019 | ATVA | Parametric Timed Model Checking for Guaranteeing Timed Opacity. | tienne Andr, Jun Sun |
| 2019 | ATVA | Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin |
| 2019 | CEC | Differential Grouping with Spectral Clustering for Large Scale Global Optimization. | Lin Li, Wei Fang, Quan Wang, Jun Sun |
| 2019 | FM | Concolic Testing Heap-Manipulating Programs. | Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun |
| 2019 | GECCO | Collaborative diversity control strategy for random drift particle swarm optimization. | Chao Li, Jun Sun, Vasile Palade, Qidong Chen, Wei Fang |
| 2019 | HPCC | A Heterogeneous Parallel Genetic Algorithm Based on SW26010 Processors. | Yao Liu, Qidan Liao, Jun Sun, Mengtao Hu, Li Liu, Lin Zheng |
| 2019 | ICASSP | Unsupervised Person Re-identification Using Reliable and Soft Labels. | Jun Sun, Cheolkon Jung |
| 2019 | ICDAR | Text Line Adjustment Based on Neural Network. | Ruochen Wang, Xiaojie Xia, Chunyan Zhang, Xiaoyi Yu, Jun Sun, Satoshi Naoi |
| 2019 | ICDAR | An Efficient off-Line Handwritten Japanese Address Recognition System. | Xiaojie Xia, Xiaoyi Yu, Wei Liu, Chunyan Zhang, Jun Sun, Satoshi Naoi |
| 2019 | ICECCS | Adaptive Randomized Scheduling for Concurrency Bug Detection. | Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao |
| 2019 | ICFEM | sCompile: Critical Path Identification and Analysis for Smart Contracts. | Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang |
| 2019 | ICIP | Automatic Neural Network Search Method for Open Set Recognition. | Li Sun, Xiaoyi Yu, Liuan Wang, Jun Sun, Hiroya Inakoshi, Ken Kobayashi, Hiromichi Kobashi |
| 2019 | ICMLA | Robustness Evaluation of Deep Learning Models Based on Local Prediction Consistency. | Ziqiang Shi, Chaoliang Zhong, Yasuto Yokota, Wensheng Xia, Jun Sun |
| 2019 | IGARSS | Environmental Policies Assessment of Air Pollution and Spatio-Temporal Change of Tropospheric No2 Column Density of '2+26' Cities in the Past Nine Years Based on Omi Product. | Chunyan Zhou, Yuhuan Zhang, Zunjian Bian, Yingxia He, Qing Li, Zhongting Wang, Lianhua Zhang, Pengfei Ma, Hui Chen, Jun Sun, Lin Ge, Sihan Liu |
| 2018 | ACCV | Prediction Based Deep Autoencoding Model for Anomaly Detection. | Zhanzhong Pang, Xiaoyi Yu, Jun Sun, Hiroya Inakoshi |
| 2018 | ACML | A Scalable Heterogeneous Parallel SOM Based on MPI/CUDA. | Yao Liu, Jun Sun, Qing Yao, Su Wang, Kai Zheng, Yan Liu |
| 2018 | DAS | Text Line Extraction Based on Integrated K-Shortest Paths Optimization. | Liuan Wang, Jun Sun, Seiichi Uchida |
| 2018 | DAS | Offset Neural Network for Document Orientation Identification. | Ruochen Wang, Song Wang, Jun Sun |
| 2018 | DAS | Compact Binary Feature for Open Set Recognition. | Han Xiao, Jun Sun, Xiaoyi Yu, Liuan Wang |
| 2018 | DSN | Importance Sampling of Interval Markov Chains. | Cyrille Jgourel, Jingyi Wang, Jun Sun |
| 2018 | FM | Towards 'Verifying' a Water Treatment System. | Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu |
| 2018 | FM | Compositional Reasoning for Shared-Variable Concurrent Programs. | Fuyuan Zhang, Yongwang Zhao, David Sann, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun |
| 2018 | IC3K | Harvesting Organization Linked Data from the Web. | Zhongguang Zheng, Yingju Xia, Lu Fang, Yao Meng, Jun Sun |
| 2018 | ICBC | Using Ethereum Blockchain in Internet of Things: A Solution for Electric Vehicle Battery Refueling. | Haoli Sun, Song Hua, Ence Zhou, Bingfeng Pi, Jun Sun, Kazuhiro Yamashita |
| 2018 | ICDM | Supervised Image Classification with Self-Paced Regularization. | Tao Zhang, Chen Gong, Wenjing Jia, Xiaoning Song, Jun Sun, Xiaojun Wu |
| 2018 | ICFEM | The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. | Teck Ping Khoo, Jun Sun |
| 2018 | ICFHR | Accelerating and Compressing LSTM Based Model for Online Handwritten Chinese Character Recognition. | Yafeng Yang, Kaihuan Liang, XueFeng Xiao, Zecheng Xie, Lianwen Jin, Jun Sun, Weiying Zhou |
| 2018 | ICFHR | Deep Transfer Mapping for Unsupervised Writer Adaptation. | Hong-Ming Yang, Xu-Yao Zhang, Fei Yin, Jun Sun, Cheng-Lin Liu |
| 2017 | CAV | A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. | Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin |
| 2017 | CBMS | Analyzing the Impact of Cognitive Load in Evaluating Gaze-Based Typing. | Korok Sengupta, Jun Sun, Raphael Menges, Chandan Kumar, Steffen Staab |
| 2017 | CEC | A novel quantum-behaved particle swarm optimization with random selection for large scale optimization. | Wei Fang, Lingzhi Zhang, Jianhong Zhou, Xiaojun Wu, Jun Sun |
| 2017 | FASE | Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. | Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang |
| 2017 | ICDAR | A Convolutional Neural Network Based Two-Stage Document Deblurring. | Jile Jiao, Jun Sun, Satoshi Naoi |
| 2017 | ICDAR | Identifying Machine-Printed and Handwritten Texts Using DropRegion and Deep Convolutional Network. | Zhaoyang Yang, Lianwen Jin, Ziyong Feng, Jun Sun, Weiying Zhou |
| 2017 | ICDM | Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. | Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun |
| 2017 | ICECCS | Learning Likely Invariants to Explain Why a Program Fails. | Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng |
| 2017 | ICFEM | A Verification Framework for Stateful Security Protocols. | Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong |
| 2017 | ICFEM | Classification-Based Parameter Synthesis for Parametric Timed Automata. | Jiaying Li, Jun Sun, Bo Gao, tienne Andr |
| 2017 | ICFEM | Assertion Generation Through Active Learning. | Long H. Pham, Lyly Tran Thi, Jun Sun |
| 2017 | ICFEM | Improving Probability Estimation Through Active Probabilistic Model Learning. | Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin |
| 2017 | ICONIP | A Width-Variable Window Attention Model for Environmental Sensors. | Cuiqin Hou, Yingju Xia, Jun Sun, Jing Shang, Ryozo Takasu, Masao Kondo |
| 2017 | IGARSS | A hybrid sparsity and constrained energy minimization detector for hyperspectral images. | Yifan Zhang, Bobo Xie, Jun Sun, Yang Peng |
| 2017 | IGARSS | Hyperspectral image subpixel mapping based on spatial-spectral endmember dictionary with collaborative representation. | Yifan Zhang, Duanguang Zhang, Jun Sun, Yang Peng |
| 2016 | CAV | Satisfiability Modulo Heap-Based Programs. | Quang Loc Le, Jun Sun, Wei-Ngan Chin |
| 2016 | CEC | An evolutionary sampling approach with adaptive Levy probability distribution. | Chaoru Hu, Jun Sun, Tian Na |
| 2016 | CEC | Multi-objective random drift particle swarm optimization algorithm with adaptive grids. | Yiqiong Yuan, Jun Sun, Dongmei Zhou |
| 2016 | CEC | An opposition-based learning competitive particle swarm optimizer. | Jianhong Zhou, Wei Fang, Xiaojun Wu, Jun Sun, Shi Cheng |
| 2016 | DAS | Globally Optimal Text Line Extraction Based on K-Shortest Paths Algorithm. | Liuan Wang, Seiichi Uchida, Wei Fan, Jun Sun |
| 2016 | FM | Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. | Yuqi Chen, Christopher M. Poskitt, Jun Sun |
| 2016 | FM | Towards Concolic Testing for Hybrid Systems. | Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang |
| 2016 | FM | Automated Verification of Timed Security Protocols with Clock Drift. | Li Li, Jun Sun, Jin Song Dong |
| 2016 | ICDE | Quality-driven disorder handling for m-way sliding window stream joins. | Yuanzhen Ji, Jun Sun, Anisoara Nica, Zbigniew Jerzak, Gregor Hackenbroich, Christof Fetzer |
| 2016 | ICDM | Predicting User Roles in Social Networks Using Transfer Learning with Feature Transformation. | Jun Sun, Jrme Kunegis, Steffen Staab |
| 2016 | ICECCS | Towards Using Concurrent Java API Correctly. | Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong |
| 2016 | ICECCS | Improving Quality of Use Case Documents through Learning and User Interaction. | Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang |
| 2016 | ICFEM | Service Adaptation with Probabilistic Partial Models. | Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong |
| 2016 | ICFEM | Scaling BDD-based Timed Verification with Simulation Reduction. | Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong |
| 2016 | ICFHR | Cascading Training for Relaxation CNN on Handwritten Character Recognition. | Li Chen, Song Wang, Wei Fan, Jun Sun, Satoshi Naoi |
| 2016 | ICFHR | Deep Knowledge Training and Heterogeneous CNN for Handwritten Chinese Text Recognition. | Song Wang, Li Chen, Liang Xu, Wei Fan, Jun Sun, Satoshi Naoi |
| 2016 | ICFHR | An HMM-based Over-Segmentation Method for Touching Chinese Handwriting Recognition. | Liang Xu, Wei Fan, Jun Sun, Satoshi Naoi |
| 2016 | ICIP | A knowledge-based table recognition method for Chinese bank statement images. | Liang Xu, Wei Fan, Jun Sun, Xin Li, Satoshi Naoi |
| 2016 | ICNC | Learning classifier competence based on graph for dynamic classifier selection. | Cuiqin Hou, Yingju Xia, Zhuoran Xu, Jun Sun |
| 2016 | ICPR | Semi-supervised learning competence of classifiers based on graph for dynamic classifier selection. | Cuiqin Hou, Yingju Xia, Zhuoran Xu, Jun Sun |
| 2016 | ICPR | A novel text structure feature extractor for Chinese scene text detection and recognition. | Xiaohang Ren, Kai Chen, Xiaokang Yang, Yi Zhou, Jianhua He, Jun Sun |
| 2016 | ICPR | Character region segmentation based on Stroke Stable Regions. | Hong Shang, Liuan Wang, Tanaka Hiroshi, Wei Fan, Jun Sun, Satoshi Naoi |
| 2015 | FM | Verifying Parameterized Timed Security Protocols. | Li Li, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | ICASSP | Blind bleed-through removal for scanned historical document images with conditional random fields. | Bin Sun, Shutao Li, Jun Sun |
| 2015 | ICDAR | Reconstruction combined training for convolutional neural networks on character recognition. | Li Chen, Song Wang, Wei Fan, Jun Sun, Satoshi Naoi |
| 2015 | ICDAR | Deep learning based language and orientation recognition in document analysis. | Li Chen, Song Wang, Wei Fan, Jun Sun, Satoshi Naoi |
| 2015 | ICDAR | Seamless stitching with shape deformation for historical document images. | Wei Liu, Wei Fan, Li Chen, Jun Sun, Satoshi Naoi |
| 2015 | ICDAR | Text line extraction in document images. | Liuan Wang, Wei Fan, Jun Sun, Satoshi Naoi, Tanaka Hiroshi |
| 2015 | ICECCS | All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. | Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo |
| 2015 | ICECCS | GPU Accelerated On-the-Fly Reachability Checking. | Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin |
| 2014 | CAV | Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. | Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun |
| 2014 | CCS | Adaptive Defending Strategy for Smart Grid Attacks. | Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun |
| 2014 | CICLING | Topic Models Incorporating Statistical Word Senses. | Guoyu Tang, Yunqing Xia, Jun Sun, Min Zhang, Thomas Fang Zheng |
| 2014 | DAS | Real-Time Document Image Super-Resolution by Fast Matting. | Yun Zheng, Xudong Kang, Shutao Li, Yuan He, Jun Sun |
| 2014 | DocEng | Paper stitching using maximum tolerant seam under local distortions. | Wei Fan, Jun Sun, Satoshi Naoi |
| 2014 | ICASSP | An efficient method for no-reference H.264/SVC bitstream extraction. | Shengbin Meng, Jun Sun, Yizhou Duan, Zongming Guo |
| 2014 | ICECCS | Symbolic Analysis of an Electric Vehicle Charging Protocol. | Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong |
| 2014 | ICFEM | A Hybrid Model of Connectors in Cyber-Physical Systems. | Xiaohong Chen, Jun Sun, Meng Sun |
| 2014 | ICFEM | SCC-Based Improved Reachability Analysis for Markov Decision Processes. | Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | Practical Analysis Framework for Software-Based Attestation Scheme. | Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | TAuth: Verifying Timed Security Protocols. | Li Li, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | GPU Accelerated Counterexample Generation in LTL Model Checking. | Zhimin Wu, Yang Liu, Yun Liang, Jun Sun |
| 2014 | ICFHR | Handwritten Character Recognition by Alternately Trained Relaxation Convolutional Neural Network. | Chunpeng Wu, Wei Fan, Yuan He, Jun Sun, Satoshi Naoi |
| 2014 | ICIS | Opportunity Exploitation in Mobile Health Entrepreneurship. | Ying Wang, Jun Sun |
| 2014 | ICPR | Fast and Accurate Text Detection in Natural Scene Images with User-Intention. | Liuan Wang, Wei Fan, Yuan He, Jun Sun, Yutaka Katsuyama, Yoshinobu Hotta |
| 2013 | APSEC | Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. | Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun |
| 2013 | ATVA | CELL: A Compositional Verification Framework. | Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen |
| 2013 | CAV | PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin |
| 2013 | ICDAR | A Book Dewarping System by Boundary-Based 3D Surface Reconstruction. | Yuan He, Pan Pan, Shufu Xie, Jun Sun, Satoshi Naoi |
| 2013 | ICDAR | Sub-structure Learning Based Handwritten Chinese Text Recognition. | Yuanping Zhu, Jun Sun, Satoshi Naoi |
| 2013 | ICFEM | Verification of Functional and Non-functional Requirements of Web Service Composition. | Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li |
| 2013 | ICFEM | vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. | Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun |
| 2013 | ICFEM | A UTP Semantics for Communicating Processes with Shared Variables. | Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin |
| 2013 | ICFEM | Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. | Yuanjie Si, Jun Sun, Yang Liu, Ting Wang |
| 2013 | ICIP | Text detection in natural scene images with user-intention. | Liuan Wang, Yutaka Katsuyama, Wei Fan, Yuan He, Jun Sun, Yoshinobu Hotta |
| 2012 | APSEC | Using Monterey Phoenix to Formalize and Verify System Architectures. | Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong |
| 2012 | CAV | A Model Checker for Hierarchical Probabilistic Real-Time Systems. | Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | CEC | Study on the compression-expansion coefficient in drift particle swarm optimization. | Wei Fang, Jun Sun, Xiaojun Wu, Wenbo Xu, Vasile Palade |
| 2012 | DAS | Local Consistency Constrained Adaptive Neighbor Embedding for Text Image Super-Resolution. | Wei Fan, Jun Sun, Satoshi Naoi, Akihiro Minagawa, Yoshinobu Hotta |
| 2012 | DAS | A Fast Caption Detection Method for Low Quality Video Images. | Tianyi Gui, Jun Sun, Satoshi Naoi, Yutaka Katsuyama, Akihiro Minagawa, Yoshinobu Hotta |
| 2012 | DCC | Rate-Distortion Analysis and Modeling of Dead-Zone Plus Uniform Threshold Scalar Quantization for Generalized Gaussian Random Variables. | Yizhou Duan, Jun Sun, Zongming Guo |
| 2012 | FM | Automatic Compositional Verification of Timed Systems. | Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, tienne Andr |
| 2012 | FM | Improved BDD-Based Discrete Analysis of Timed Systems. | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu |
| 2012 | ICECCS | Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong |
| 2012 | ICECCS | Translating PDDL into CSP# - The PAT Approach. | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2012 | ICECCS | Formal Analysis of Pervasive Computing Systems. | Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari |
| 2012 | ICFEM | Automatic Generation of Provably Correct Embedded Systems. | Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong |
| 2012 | ICFEM | Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | ICFEM | An Analytical and Experimental Comparison of CSP Extensions and Tools. | Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho |
| 2012 | ICFEM | More Anti-chain Based Refinement Checking. | Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li |
| 2012 | ICIP | Learning a Mahalanobis distance metric via regularized LDA for scene recognition. | Meng Wu, Jun Zhou, Jun Sun |
| 2012 | ICPR | Structured document classification by matching local salient features. | Siyuan Chen, Yuan He, Jun Sun, Satoshi Naoi |
| 2012 | IGARSS | Study on spread of vibrio cholera in rivers based on Cellular Automata Model. | Jun Sun, Ibrahim Abdoul Nasser, Jianhua Gong, Liyang Yang, Yi Li, Jieping Zhou |
| 2011 | AAAI | Tree Sequence Kernel for Natural Language. | Jun Sun, Min Zhang, Chew Lim Tan |
| 2011 | ATVA | An Efficient Algorithm for Learning Event-Recording Automata. | Shang-Wei Lin, tienne Andr, Jin Song Dong, Jun Sun, Yang Liu |
| 2011 | DCC | On Natural Type Selection in Universal Multiple Description Coding. | Yuhua Fan, Jia Wang, Jun Sun |
| 2011 | DICTA | Fast Kernel Sparse Representation. | Hanxi Li, Yongsheng Gao, Jun Sun |
| 2011 | DICTA | Line Drawing Interpretation Using Belief Propagation. | Yansheng Ming, Hongdong Li, Jun Sun |
| 2011 | DICTA | Analysis on Tree Structure Selection for MRF Inference in Low-level Vision. | Jun Sun, Hongdong Li, Xuming He |
| 2011 | FM | On Combining State Space Reductions with Global Fairness Assumptions. | Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong |
| 2011 | GLOBECOM | Compressive Network Coding for Approximate Sensor Data Gathering. | Chong Luo, Jun Sun, Feng Wu |
| 2011 | ICDAR | Recognizing Characters with Severe Perspective Distortion Using Hash Tables and Perspective Invariants. | Pan Pan, Yuanping Zhu, Jun Sun, Satoshi Naoi |
| 2011 | ICDAR | Improving Scene Text Detection by Scale-Adaptive Segmentation and Weighted CRF Verification. | Yi-Feng Pan, Yuanping Zhu, Jun Sun, Satoshi Naoi |
| 2011 | ICDAR | Robust Vanishing Point Detection for MobileCam-Based Documents. | Xu-Cheng Yin, Hong-Wei Hao, Jun Sun, Satoshi Naoi |
| 2011 | ICFEM | PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. | Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li |
| 2011 | ICFEM | Verification of Orchestration Systems Using Compositional Partial Order Reduction. | Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong |
| 2011 | ICFEM | Differencing Labeled Transition Systems. | Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong |
| 2011 | ICFEM | Towards a Model Checker for NesC and Wireless Sensor Networks. | Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu |
| 2011 | ICIG | Efficient Image Denoising by MRF Approximation with Uniform-Sampled Multi-spanning-tree. | Jun Sun, Hongdong Li, Xuming He |
| 2011 | ICIP | Foreground estimation based on robust linear regression model. | Gengjian Xue, Li Song, Jun Sun, Meng Wu |
| 2011 | ICIS | Investigating Value Co-Creation in Innovation of IT-enabled Services: An Empirical Study of Mobile Data Services. | Hua Ye, Atreyi Kankanhalli, Khim Yong Goh, Jun Sun |
| 2011 | ICONIP | Graphical Lasso Quadratic Discriminant Function for Character Recognition. | Bo Xu, Kaizhu Huang, Irwin King, Cheng-Lin Liu, Jun Sun, Satoshi Naoi |
| 2010 | ACL | Exploring Syntactic Structural Features for Sub-Tree Alignment Using Bilingual Tree Kernels. | Jun Sun, Min Zhang, Chew Lim Tan |
| 2010 | APSEC | Model-Based Methods for Linking Web Service Choreography and Orchestration. | Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan |
| 2010 | ATVA | Developing Model Checkers Using PAT. | Yang Liu, Jun Sun, Jin Song Dong |
| 2010 | COLING | Discriminative Induction of Sub-Tree Alignment using Limited Labeled Data. | Jun Sun, Min Zhang, Chew Lim Tan |
| 2010 | DAS | Occluded text restoration and recognition. | Lanlan Chang, Jun Sun, Misako Suwa, Hiroaki Takebe, Yuan He, Satoshi Naoi |
| 2010 | ICFEM | Model Checking a Model Checker: A Code Contract Combined Approach. | Jun Sun, Yang Liu, Bin Cheng |
| 2010 | ICFEM | Model Checking Hierarchical Probabilistic Systems. | Jun Sun, Songzheng Song, Yang Liu |
| 2010 | ICFHR | Rejection Optimization Based on Threshold Mapping for Offline Handwritten Chinese Character Recognition. | Yuanping Zhu, Jun Sun, Yoshinobu Hotta, Satoshi Naoi |
| 2010 | ICIP | A multiple description codec based on combinatorial optimization and its application to image coding. | Yuhua Fan, Jia Wang, Jun Sun, Cheng Zhi |
| 2010 | ICIP | Texture-based color constancy using local regression. | Meng Wu, Jun Zhou, Jun Sun, Gengjian Xue |
| 2010 | ICIP | Background subtraction based on phase and distance transform under sudden illumination change. | Gengjian Xue, Jun Sun, Li Song |
| 2010 | ICIP | Separation of overlapped color planes for document images. | Danian Zheng, Jun Sun, Satoshi Naoi, Misako Suwa, Hiroaki Takebe, Yoshinobu Hotta |
| 2010 | ICPR | A Dual Pass Video Stabilization System Using Iterative Motion Estimation and Adaptive Motion Smoothing. | Pan Pan, Akihiro Minagawa, Jun Sun, Yoshinobu Hotta, Satoshi Naoi |
| 2009 | ACL | A non-contiguous Tree Sequence Alignment-based Model for Statistical Machine Translation. | Jun Sun, Min Zhang, Chew Lim Tan |
| 2009 | CAV | PAT: Towards Flexible Verification under Fairness. | Jun Sun, Yang Liu, Jin Song Dong, Jun Pang |
| 2009 | FM | Model Checking Linearizability via Refinement. | Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun |
| 2009 | FM | Fair Model Checking with Process Counter Abstraction. | Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
| 2009 | ICDAR | Trinary Image Mosaicing Based Watermark String Detection. | Jun Sun, Satoshi Naoi, Yusaku Fujii, Hiroaki Takebe, Yoshinobu Hotta |
| 2009 | ICDAR | Rejection Strategies with Multiple Classifiers for Handwritten Character Recognition. | Xu-Cheng Yin, Hong-Wei Hao, Yun-Feng Tang, Jun Sun, Satoshi Naoi |
| 2009 | ICDAR | Separate Chinese Character and English Character by Cascade Classifier and Feature Selection. | Yuanping Zhu, Jun Sun, Akihiro Minagawa, Yoshinobu Hotta, Satoshi Naoi |
| 2009 | ICDM | Topic Modeling for Sequences of Temporal Activities. | Zhiyong Shen, Ping Luo, Yuhong Xiong, Jun Sun, Yi-Dong Shen |
| 2009 | ICFEM | Scalable Multi-core Model Checking Fairness Enhanced Systems. | Yang Liu, Jun Sun, Jin Song Dong |
| 2009 | ICFEM | Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. | Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang |
| 2009 | ICNC | Multiple Sequence Alignment Based on a Binary Particle Swarm Optimization Algorithm. | Haixia Long, Wenbo Xu, Jun Sun, Wen-Juan Ji |
| 2009 | ICNC | Structure Learning of Bayesian Networks Based on Discrete Binary Quantum-Behaved Particle Swarm Optimization Algorithm. | Jing Zhao, Jun Sun, Wenbo Xu, Di Zhou |
| 2008 | DAS | Unsupervised Decomposition of Color Document Images by Projecting Colors to a Spherical Surface. | Yuan He, Jun Sun, Satoshi Naoi, Yusaku Fujii, Katsuhito Fujimoto |
| 2008 | DAS | An Image Based Watermark String Detection System for Document Security Checking. | Jun Sun, Yusaku Fujii, Hiroaki Takebe, Katsuhito Fujimoto, Satoshi Naoi |
| 2008 | DCC | A Novel Multiple Description Video Codec Based on Slepian-Wolf Coding. | Yuhua Fan, Jia Wang, Jun Sun, Peng Wang, Songyu Yu |
| 2008 | ICDM | Collective Latent Dirichlet Allocation. | Zhiyong Shen, Jun Sun, Yi-Dong Shen |
| 2008 | ICECCS | A Formal Model of Semantic Web Service Ontology (WSMO) Execution. | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2008 | ICECCS | A Scalable Approach to Multi-style Architectural Modeling and Verification. | Stephen Wong, Jing Sun, Ian Warren, Jun Sun |
| 2008 | ICFEM | Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. | Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang |
| 2008 | ICFEM | Specifying and Verifying Event-Based Fairness Enhanced Systems. | Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang |
| 2008 | ICPR | Video caption duration extraction. | Hongliang Bai, Jun Sun, Satoshi Naoi, Yutaka Katsuyama, Yoshinobu Hotta, Katsuhito Fujimoto |
| 2007 | DCC | On Multi-Stage Sequential Coding of Correlated Sources. | Jia Wang, Xiaolin Wu, Jun Sun, Songyu Yu |
| 2007 | ICCS | An Efficient Quantum-Behaved Particle Swarm Optimization for Multiprocessor Scheduling. | Xiaohong Kong, Jun Sun, Bin Ye, Wenbo Xu |
| 2007 | ICCS | A Modified Quantum-Behaved Particle Swarm Optimization. | Jun Sun, Choi-Hong Lai, Wenbo Xu, Yanrui Ding, ZhiLei Chai |
| 2007 | ICDAR | Curved paper rectification for digital camera document images by shape from parallel geodesics using continuous dynamic programming. | Katsuhito Fujimoto, Jun Sun, Hiroaki Takebe, Misako Suwa, Satoshi Naoi |
| 2007 | ICDAR | An SVM-Based High-accurate Recognition Approach for Handwritten Numerals by Using Difference Features. | Kaizhu Huang, Jun Sun, Yoshinobu Hotta, Katsuhito Fujimoto, Satoshi Naoi |
| 2007 | ICDAR | Degraded Character Recognition by Complementary Classifiers Combination. | Jun Sun, Kaizhu Huang, Yoshinobu Hotta, Katsuhito Fujimoto, Satoshi Naoi |
| 2007 | ICDAR | A Multi-Stage Strategy to Perspective Rectification for Mobile Phone Camera-Based Document Images. | Xu-Cheng Yin, Jun Sun, Satoshi Naoi, Katsuhito Fujimoto, Yusaku Fujii, Koji Kurokawa, Hiroaki Takebe |
| 2007 | ICECCS | A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun |
| 2007 | ICFEM | Machine-Assisted Proof Support for Validation Beyond Simulink. | Chunqing Chen, Jin Song Dong, Jun Sun |
| 2006 | ADMA | Quantum-Behaved Particle Swarm Optimization Clustering Algorithm. | Jun Sun, Wenbo Xu, Bin Ye |
| 2006 | CISS | Channel Allocation Using Pricing in Satellite Networks. | Jun Sun, Eytan H. Modiano |
| 2006 | DAS | Robust Chinese Character Recognition by Selection of Binary-Based and Grayscale-Based Classifier. | Yoshinobu Hotta, Jun Sun, Yutaka Katsuyama, Satoshi Naoi |
| 2006 | GRC | Quantum-behaved particle swarm optimization based on immune memory and vaccination. | Jing Liu, Jun Sun, Wenbo Xu, X. H. Kong |
| 2006 | ICASSP | Image Resolution Scaling with Arbitrary Unequal Ratios in each Direction in the DCT Domain. | Kebin An, Jun Sun, Lei Zhou |
| 2006 | ICCS | Quantum-Behaved Particle Swarm Optimization Algorithm with Controlled Diversity. | Jun Sun, Wenbo Xu, Wei Fang |
| 2006 | ICFEM | A Reasoning Method for Timed CSP Based on Constraint Solving. | Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang |
| 2006 | ICFEM | Verification of Computation Orchestration Via Timed Automata. | Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang |
| 2006 | ICML | A duality view of spectral methods for dimensionality reduction. | Lin Xiao, Jun Sun, Stephen P. Boyd |
| 2006 | ICNC | Design IIR Digital Filters Using Quantum-Behaved Particle Swarm Optimization. | Wei Fang, Jun Sun, Wenbo Xu |
| 2006 | ICNC | Quantum-Behaved Particle Swarm Optimization with Adaptive Mutation Operator. | Jing Liu, Jun Sun, Wenbo Xu |
| 2006 | ICONIP | A Hybrid Handwritten Chinese Address Recognition Approach. | Kaizhu Huang, Jun Sun, Yoshinobu Hotta, Katsuhito Fujimoto, Satoshi Naoi, Chong Long, Li Zhuang, Xiaoyan Zhu |
| 2006 | ICONIP | Quantum-Behaved Particle Swarm Optimization for Integer Programming. | Jing Liu, Jun Sun, Wenbo Xu |
| 2006 | ICONIP | Training RBF Neural Network Via Quantum-Behaved Particle Swarm Optimization. | Jun Sun, Wenbo Xu, Jing Liu |
| 2005 | ACII | Voice Conversion Based on Weighted Least Squares Estimation Criterion and Residual Prediction from Pitch Contour. | Jian Zhang, Jun Sun, Beiqian Dai |
| 2005 | APSEC | A Tools Environment for Developing and Reasoning about Ontologies. | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun |
| 2005 | Broadnets | Opportunistic power allocation for fading channels with non-cooperative users and random access. | Jun Sun, Eytan H. Modiano |
| 2005 | EMSOFT | HAIL: a language for easy and correct device access. | Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
| 2005 | FM | Synthesis of Distributed Processes from Scenario-Based Specifications. | Jun Sun, Jin Song Dong |
| 2005 | ICDAR | Camera based Degraded Text Recognition Using Grayscale Feature. | Jun Sun, Yoshinobu Hotta, Yutaka Katsuyama, Satoshi Naoi |
| 2005 | ICECCS | Extracting FSMs from Object-Z Specifications with History Invariants. | Jun Sun, Jin Song Dong |
| 2005 | ICECCS | Model Checking Live Sequence Charts. | Jun Sun, Jin Song Dong |
| 2005 | ICFEM | Visualizing and Simulating Semantic Web Services Ontologies. | Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun |
| 2005 | ICNC | Parameter Selection of Quantum-Behaved Particle Swarm Optimization. | Jun Sun, Wenbo Xu, Jing Liu |
| 2004 | CEC | Particle swarm optimization with particles having quantum behavior. | Jun Sun, Bin Feng, Wenbo Xu |
| 2004 | DAS | Video Degradation Model and Its Application to Character Recognition in e-Learning Videos. | Jun Sun, Yutaka Katsuyama, Satoshi Naoi |
| 2004 | ICFEM | Timed Patterns: TCOZ to Timed Automata. | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi |
| 2004 | ICIG | A novel FGS base-layer encoding model and weight-based rate adaptation for constant-quality streaming. | Jun Sun, Wen Gao, Qingming Huang |
| 2003 | CVPR | Text Processing Method for E-learning Videos. | Jun Sun, Yukata Katsuyama, Satoshi Naoi |
| 2003 | DocEng | Effective text extraction and recognition for WWW images. | Jun Sun, Zhulong Wang, Hao Yu, Fumihito Nishino, Yutaka Katsuyama, Satoshi Naoi |
| 2003 | ICASSP | 1-D and 2-D transforms from integers to integers. | Jia Wang, Jun Sun, Songyu Yu |
| 2002 | ICFEM | XML-Based Static Type Checking and Dynamic Visualization for TCOZ. | Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang |
| 2000 | ICMI | An Improved Facial Expression Recognition Method. | Jun Sun, Qing Zhuo, Wenyuan Wang |
| 1996 | ICDCS | Synchronization Protocols in Distributed Real-Time Systems. | Jun Sun, Jane W.-S. Liu |