research
∙
08/26/2023
Modeling Programmer Attention as Scanpath Prediction
This paper launches a new effort at modeling programmer attention by pre...
share
research
∙
06/27/2023
Mutual Information Rate of Gaussian and Truncated Gaussian Inputs on Intensity-Driven Signal Transduction Channels
In this letter, we investigate the mutual information rate (MIR) achieve...
research
∙
06/23/2023
An Overview about Emerging Technologies of Autonomous Driving
Since DARPA started Grand Challenges in 2004 and Urban Challenges in 200...
research
∙
06/14/2023
ClimSim: An open large-scale dataset for training high-resolution physics emulators in hybrid multi-scale climate simulators
Modern climate projections lack adequate spatial and temporal resolution...
research
∙
05/25/2023
CSS: A Large-scale Cross-schema Chinese Text-to-SQL Medical Dataset
The cross-domain text-to-SQL task aims to build a system that can parse ...
research
∙
03/04/2023
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG
Due to the increasing challenges posed by the relentless rise in the des...
research
∙
02/06/2023
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
ZooKeeper is a coordination service, widely used as a backbone of variou...
research
∙
01/21/2023
Soft Sensing Regression Model: from Sensor to Wafer Metrology Forecasting
The semiconductor industry is one of the most technology-evolving and ca...
research
∙
11/07/2022
Tunable Causal Consistency: Specification and Implementation
To achieve high availability and low latency, distributed data stores of...
research
∙
10/13/2022
CPSAA: Accelerating Sparse Attention using Crossbar-based Processing-In-Memory Architecture
The attention mechanism requires huge computational efforts to process u...
research
∙
10/11/2022
COMBO: Pre-Training Representations of Binary Code Using Contrastive Learning
Compiled software is delivered as executable binary code. Developers wri...
research
∙
08/17/2022
ASTRO: An AST-Assisted Approach for Generalizable Neural Clone Detection
Neural clone detection has attracted the attention of software engineeri...
research
∙
06/18/2022
Provable Generalization of Overparameterized Meta-learning Trained with SGD
Despite the superior empirical success of deep meta-learning, theoretica...
research
∙
05/06/2022
ViSearch: Weak Consistency Measurement for Replicated Data Types
Large-scale replicated data type stores often resort to eventual consist...
research
∙
04/29/2022
MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations
Internet-scale distributed systems often replicate data at multiple geog...
research
∙
04/19/2022
Detection Interval for Diffusion Molecular Communication: How Long is Enough?
Molecular communication has a key role to play in future medical applica...
research
∙
03/24/2022
LHNN: Lattice Hypergraph Neural Network for VLSI Congestion Prediction
Precise congestion prediction from a placement solution plays a crucial ...
research
∙
03/23/2022
A Multi-Characteristic Learning Method with Micro-Doppler Signatures for Pedestrian Identification
The identification of pedestrians using radar micro-Doppler signatures h...
research
∙
03/23/2022
Modality Competition: What Makes Joint Training of Multi-modal Network Fail in Deep Learning? (Provably)
Despite the remarkable success of deep multi-modal learning in practice,...
research
∙
02/23/2022
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction
Consensus protocols are widely used in building reliable distributed sof...
research
∙
11/29/2021
Verifying Transactional Consistency of MongoDB
MongoDB is a popular general-purpose, document-oriented, distributed NoS...
research
∙
11/26/2021
Testability-Aware Low Power Controller Design with Evolutionary Learning
XORNet-based low power controller is a popular technique to reduce circu...
research
∙
11/26/2021
Representation Learning of Logic Circuits
Applying deep learning (DL) techniques in the electronic design automati...
research
∙
11/12/2021
Soft Sensing Model Visualization: Fine-tuning Neural Network from What Model Learned
The growing availability of the data collected from smart manufacturing ...
research
∙
11/12/2021
Soft-Sensing ConFormer: A Curriculum Learning-based Convolutional Transformer
Over the last few decades, modern industrial processes have investigated...
research
∙
11/12/2021
GraSSNet: Graph Soft Sensing Neural Networks
In the era of big data, data-driven based classification has become an e...
research
∙
11/10/2021
Soft Sensing Transformer: Hundreds of Sensors are Worth a Single Word
With the rapid development of AI technology in recent years, there have ...
research
∙
09/29/2021
Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol
Causal consistency is a widely used weak consistency model that allows h...
research
∙
09/07/2021
IEEE BigData 2021 Cup: Soft Sensing at Scale
IEEE BigData 2021 Cup: Soft Sensing at Scale is a data mining competitio...
research
∙
08/12/2021
ST-PCNN: Spatio-Temporal Physics-Coupled Neural Networks for Dynamics Forecasting
Ocean current, fluid mechanics, and many other spatio-temporal physical ...
research
∙
08/11/2021
Physics-Coupled Spatio-Temporal Active Learning for Dynamical Systems
Spatio-temporal forecasting is of great importance in a wide range of dy...
research
∙
07/28/2021
Snippet Policy Network for Multi-class Varied-length ECG Early Classification
Arrhythmia detection from ECG is an important research subject in the pr...
research
∙
06/08/2021
What Makes Multimodal Learning Better than Single (Provably)
The world provides us with data of multiple modalities. Intuitively, mod...
research
∙
04/26/2021
Leaving My Fingerprints: Motivations and Challenges of Contributing to OSS for Social Good
When inspiring software developers to contribute to open source software...
research
∙
09/21/2020
Evolutionary Architecture Search for Graph Neural Networks
Automated machine learning (AutoML) has seen a resurgence in interest wi...
research
∙
09/21/2020
Deep learning achieves radiologist-level performance of tumor segmentation in breast MRI
Purpose: The goal of this research was to develop a deep network archite...
research
∙
08/04/2020
Physics-informed Tensor-train ConvLSTM for Volumetric Velocity Forecasting
According to the National Academies, a weekly forecast of velocity, vert...
research
∙
08/02/2020
Privacy-Aware Data Cleaning-as-a-Service (Extended Version)
Data cleaning is a pervasive problem for organizations as they try to re...
research
∙
07/17/2020
Diversifying Anonymized Data with Diversity Constraints
Recently introduced privacy legislation has aimed to restrict and contro...
research
∙
06/10/2020
Autonomous Driving with Deep Learning: A Survey of State-of-Art Technologies
Since DARPA Grand Challenges (rural) in 2004/05 and Urban Challenges in ...
research
∙
05/16/2020
A class of multiplicative splitting iterations for solving the continuous Sylvester equation
For solving the continuous Sylvester equation, a class of the multiplica...
research
∙
04/19/2020
GPU-Accelerated Compression and Visualization of Large-Scale Vessel Trajectories in Maritime IoT Industries
The automatic identification system (AIS), an automatic vessel-tracking ...
research
∙
01/22/2020
Fine-grained Analysis on Fast Implementations of Multi-writer Atomic Registers
This draft in its current version proves an impossibility result concern...
research
∙
09/03/2019
Attributed Rhetorical Structure Grammar for Domain Text Summarization
This paper presents a new approach of automatic text summarization which...
research
∙
06/27/2019
The State and Future of Genetic Improvement
We report the discussion session at the sixth international Genetic Impr...
research
∙
05/24/2019
Tissue segmentation with deep 3D networks and spatial priors
Conventional automated segmentation of the human head distinguishes diff...
research
∙
05/04/2019
Remove-Win: a Design Framework for Conflict-free Replicated Data Collections
Internet-scale distributed systems often replicate data within and acros...
research
∙
01/08/2019
Inversion-based Measurement of Data Consistency for Read/Write Registers
Both provides and consumers of distributed storage services can benefit ...
research
∙
06/03/2018