173 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Agency for Science, Technology and ResearchSG6 papers
- Nanyang Technological UniversitySG6 papers
- Institute of High Performance ComputingSG3 papers
- National University of SingaporeSG3 papers
- Alibaba Group (Cayman Islands)KY2 papers
- Shandong UniversityCN2 papers
- Star Technology and Research (United States)US2 papers
- Tianjin UniversityCN2 papers
- University of Science and Technology of ChinaCN2 papers
- Agostino Gemelli University PolyclinicIT1 paper
- Amazon (United States)US1 paper
- Boston UniversityUS1 paper
23 papers
Verified VCG and Verified Compiler for Dafny
Daniel Nezamabadi, Magnus O. Myreen, Yong Kiam Tan
Dafny is a verification-aware programming language that comes with a compiler and static program verifier. However, neither the compiler nor the verifier is proved correct; in fact…
SafeGuider: Robust and Practical Content Safety Control for Text-to-Image Models
Peigui Qi, Kunsheng Tang, Wenbo Zhou +5
Text-to-image models have shown remarkable capabilities in generating high-quality images from natural language descriptions. However, these models are highly vulnerable to adversa…
EmuPlat: A Framework-Agnostic Platform for Quantum Hardware Emulation with Validated Transpiler-to-Pulse Pipeline
Jun Ye, Jun Yong Khoo
We present EmuPlat, a framework-agnostic quantum hardware emulation platform that addresses the interoperability gap between high-level quantum programming frameworks and hardware-…
Learning from Heterogeneity: Generalizing Dynamic Facial Expression Recognition via Distributionally Robust Optimization
Feng-Qi Cui, Anyang Tong, Jinyang Huang +4
Dynamic Facial Expression Recognition (DFER) plays a critical role in affective computing and human-computer interaction. Although existing methods achieve comparable performance,…
FreRA: A Frequency-Refined Augmentation for Contrastive Learning on Time Series Classification
Tian Tian, Chunyan Miao, Hangwei Qian
Contrastive learning has emerged as a competent approach for unsupervised representation learning. However, the design of an optimal augmentation strategy, although crucial for con…
Ultralight dark matter detection with levitated ferromagnets
Saarik Kalia, Dmitry Budker, Derek F. Jackson Kimball +7
Levitated ferromagnets act as ultraprecise magnetometers, which can exhibit high quality factors due to their excellent isolation from the environment. These instruments can be uti…
PROUD: PaRetO-gUided Diffusion Model for Multi-objective Generation
Yinghua Yao, Yuangang Pan, Jing Li +2
Recent advancements in the realm of deep generative models focus on generating samples that satisfy multiple desired properties. However, prevalent approaches optimize these proper…
Flexible and Robust Counterfactual Explanations with Minimal Satisfiable Perturbations
Yongjie Wang, Hangwei Qian, Yongjie Liu +2
Counterfactual explanations (CFEs) exemplify how to minimally modify a feature vector to achieve a different prediction for an instance. CFEs can enhance informational fairness and…
CVSformer: Cross-View Synthesis Transformer for Semantic Scene Completion
Haotian Dong, Enhui Ma, Lubo Wang +7
Semantic scene completion (SSC) requires an accurate understanding of the geometric and semantic relationships between the objects in the 3D scene for reasoning the occluded object…
EOCSA: Predicting Prognosis of Epithelial Ovarian Cancer with Whole Slide Histopathological Images
Tianling Liu, Ran Su, Changming Sun +2
Ovarian cancer is one of the most serious cancers that threaten women around the world. Epithelial ovarian cancer (EOC), as the most commonly seen subtype of ovarian cancer, has ra…
Self-supervised Assisted Active Learning for Skin Lesion Segmentation
Ziyuan Zhao, Wenjing Lu, Zeng Zeng +3
Label scarcity has been a long-standing issue for biomedical image segmentation, due to high annotation costs and professional requirements. Recently, active learning (AL) strategi…
SiWa: See into Walls via Deep UWB Radar
Tianyue Zheng, Zhe Chen, Jun Luo +3
Being able to see into walls is crucial for diagnostics of building health; it enables inspections of wall structure without undermining the structural integrity. However, existing…
MedPerf: Open Benchmarking Platform for Medical Artificial Intelligence using Federated Evaluation
Alexandros Karargyris, Renato Umeton, Micah J. Sheller +39
Medical AI has tremendous potential to advance healthcare by supporting the evidence-based practice of medicine, personalizing patient treatment, reducing costs, and improving prov…
Cohesion and Repulsion in Bayesian Distance Clustering
Abhinav Natarajan, Maria De Iorio, Andreas Heinecke +2
Clustering in high-dimensions poses many statistical challenges. While traditional distance-based clustering methods are computationally feasible, they lack probabilistic interpret…
PiRhDy: Learning Pitch-, Rhythm-, and Dynamics-aware Embeddings for Symbolic Music
Hongru Liang, Wenqiang Lei, Paul Yaozhu Chan +3
Definitive embeddings remain a fundamental challenge of computational musicology for symbolic music in deep learning today. Analogous to natural language, music can be modeled as a…
Hooks in the Headline: Learning to Generate Headlines with Controlled Styles
Di Jin, Zhijing Jin, Joey Tianyi Zhou +2
Current summarization systems only produce plain, factual headlines, but do not meet the practical needs of creating memorable titles to increase exposure. We propose a new task, S…
RoboCoDraw: Robotic Avatar Drawing with GAN-based Style Transfer and Time-efficient Path Optimization
Tianying Wang, Wei Qi Toh, Hao Zhang +4
Robotic drawing has become increasingly popular as an entertainment and interactive tool. In this paper we present RoboCoDraw, a real-time collaborative robot-based drawing system…
Constrained Heterogeneous Vehicle Path Planning for Large-area Coverage
Di Deng, Wei Jing, Yuhe Fu +3
There is a strong demand for covering a large area autonomously by multiple UAVs (Unmanned Aerial Vehicles) supported by a ground vehicle. Limited by UAVs' battery life and communi…
Evolution of Intrinsic Vacancies and Prolonged Lifetime of Vacancy Clusters in Black Phosphorene
Yongqing Cai, Shuai Chen, Junfeng Gao +2
Due to the relatively low formation energies and highly mobile characteristics of atomic vacancies in phosphorene, understanding their evolutions becomes crucial for its structural…
Can multimodal sensing detect and localize transient events?
Kasthuri Jayarajah, Vigneshwaran Subbaraju, Noel Athaide +3
With the increased focus on making cities "smarter", we see an upsurge in investment in sensing technologies embedded in the urban infrastructure. The deployment of GPS sensors abo…
Towards Verifying Semantic Roles Co-occurrence
Aliaksandr Huminski, Hao Zhang, Gangeshwar Krishnamurthy
Semantic role theory considers roles as a small universal set of unanalyzed entities. It means that formally there are no restrictions on role combinations. We argue that the seman…
Improving Multi-label Learning with Missing Labels by Structured Semantic Correlations
Hao Yang, Joey Tianyi Zhou, Jianfei Cai
Multi-label learning has attracted significant interests in computer vision recently, finding applications in many vision tasks such as multiple object recognition and automatic im…
Stochastic Geometry-Based Performance Bounds for Non-Fading and Rayleigh Fading Ad Hoc Networks
Hieu Duy Nguyen, Sumei Sun
In this paper, we study the performance of non-fading and Rayleigh fading ad hoc networks. We first characterize the distribution of the signal-to-interference-plus-noise ratio (SI…