yusuke1997/dblp-id-title huggingface dataset:
On the Implementation of the Probabilistic Logic Programming Language ProbLog
Data-Driven Verification under Signal Temporal Logic Constraints
NetChain: Scale-Free Sub-RTT Coordination (Extended Version)
BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes
HappyRouting: Learning Emotion-Aware Route Trajectories for Scalable In-The-Wild Navigation
A kernel-based approach to physics-informed nonlinear system identification
Improved algorithms for Correlation Clustering with local objectives
Leveraging Genetic Algorithms for Efficient Demonstration Generation in Real-World Reinforcement Learning Environments
Truth Factors
RANGER - Repository-Level Agent for Graph-Enhanced Retrieval
Attention-Guided Erasing: A Novel Augmentation Method for Enhancing Downstream Breast Density Classification
UNeRF: Time and Memory Conscious U-Shaped Network for Training Neural Radiance Fields
HyperGo: Probability-based Directed Hybrid Fuzzing
CLGRPO: Reasoning Ability Enhancement for Small VLMs
Distributionally Robust Pricing in Independent Private Value Auctions
LLM-based Iterative Approach to Metamodeling in Automotive
Model-Aware Deep Architectures for One-Bit Compressive Variational Autoencoding
Multi-terminal Secrecy in a Linear Non-coherent Packetized Networks
BotRGCN: Twitter Bot Detection with Relational Graph Convolutional Networks
An Architecture-Led Hybrid Report on Body Language Detection Project
Exploring Visual Patterns in Projected Human and Machine Decision-Making Paths
Classification of Breast Cancer Histology using Deep Learning
Rethinking Transformer-based Multi-document Summarization: An Empirical Investigation
Big Data driven Product Design: A Survey
Joint A-SNN: Joint Training of Artificial and Spiking Neural Networks via Self-Distillation and Weight Factorization
An Optimal Algorithm in Multiplayer Multi-Armed Bandits
Development and evaluation of automated localization and reconstruction of all fruits on tomato plants in a greenhouse based on multi-view perception and 3D multi-object tracking
Efficient and Scalable Kernel Matrix Approximations using Hierarchical Decomposition
Shape-constrained Symbolic Regression with NSGA-III
Dual Formulation for Non-Rectangular Lp Robust Markov Decision Processes
Nugget 2D: Dynamic Contextual Compression for Scaling Decoder-only Language Models
Bipartite Synthesis Method applied to the Subset Sum Problem demonstrates capability as decision and optimization tool
A Preconditioned Iterative Interior Point Approach to the Conic Bundle Subproblem
Max vs Min: Independent Component Analysis with nearly Linear Sample Complexity
Computational limits to nonparametric estimation for ergodic processes
Process Reward Models for LLM Agents: Practical Framework and Directions
Secure Short-Packet Communications for RIS-Assisted AAV Networks
FinAgent: An Agentic AI Framework Integrating Personal Finance and Nutrition Planning
A large calcium-imaging dataset reveals a systematic V4 organization for natural scenes
Learnable Sparsification of Die-to-Die Communication via Spike-Based Encoding
Employing Hybrid Deep Neural Networks on Dari Speech
Toward a Science of Autonomy for Physical Science: Healthcare
Scientific Explanation and Natural Language: A Unified Epistemological-Linguistic Perspective for Explainable AI
Towards Communication-efficient Federated Learning via Sparse and Aligned Adaptive Optimization
MRI Image-to-Image Translation for Cross-Modality Image Registration and Segmentation
Stacked Convolutional and Recurrent Neural Networks for Bird Audio Detection
Auditing Political Exposure Bias: Algorithmic Amplification on Twitter/X Approaching the 2024 U.S. Presidential Election
Ensuring Responsible Outcomes from Technology
Compressed Sensing with Coherent and Redundant Dictionaries
Asymptotic Learning Requirements for Stealth Attacks
Modelling and controllability of the motion of a slender, flexible micro-swimmer
Compression phase is not necessary for generalization in representation learning
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration)
Deep Boosting: Layered Feature Mining for General Image Classification
Towards Auditing the Sensitive Information Leakage During Data Trading and Data Computing
Experimental Analysis of a Self-Coherent M-QAM Receiver by Means of Recurrent Optical Spectrum Slicing and Direct Detection
ECOC as a Method of Constructing Deep Convolutional Neural Network Ensembles
SwiftF0: Fast and Accurate Monophonic Pitch Detection
Image segmentation of liver stage malaria infection with spatial uncertainty sampling
Semantic Units: Increasing Expressivity and Simplicity of Formal Representations of Data and Knowledge in Knowledge Graphs
Graph Informer Networks for Molecules
Recognition of Crowd Behavior from Mobile Sensors with Pattern Analysis and Graph Clustering Methods
ReflexGrad: Three-Way Synergistic Architecture for Zero-Shot Generalization in LLM Agents
Exact rainbow numbers of cycle-related graphs in multi-hubbed wheels
Automatic Detection and Query of Wireless Spectrum Events from Streaming Data
Purifying Task Vectors in Knowledge-Aware Subspace for Model Merging
Dynamic inference of user context through social tag embedding for music recommendation
HCLAE: High Capacity Locally Aggregating Encodings for Approximate Nearest Neighbor Search
Educators on the Frontline: Philosophical and Realistic Perspectives on Integrating ChatGPT into the Learning Space
Reversing the Paradigm: Building AI-First Systems with Human Guidance
Predictive Query-based Pipeline for Graph Data
VL-GenRM: Enhancing Vision-Language Verification via Vision Experts and Iterative Training
Adaptive Position-Based Fluids: Improving Performance of Fluid Simulations for Real-Time Applications
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
Optimal control theory with arbitrary superpositions of waveforms
Improving Unsupervised Domain Adaptation by Reducing Bi-level Feature Redundancy
Do We Need Online NLU Tools?
Distance to the Nearest Stable Metzler Matrix
Query-limited Black-box Attacks to Classifiers
Super Fast Beam Tracking in Phased Antenna Arrays
Implicit Concept Drift Detection for Multi-label Data Streams
Unsupervised collaborative learning using privileged information
UAV-MM3D: A Large-Scale Synthetic Benchmark for 3D Perception of Unmanned Aerial Vehicles with Multi-Modal Data
Context-Aware Online Learning for Course Recommendation of MOOC Big Data
Semi-supervised learning of deep metrics for stereo reconstruction
Deep Learning in Renewable Energy Forecasting: A Cross-Dataset Evaluation of Temporal and Spatial Models
Worldwide Gender Differences in Public Code Contributions
Efficient Algorithms for Partitioning Circulant Graphs with Optimal Spectral Approximation
Quality Control in Crowdsourcing: A Survey of Quality Attributes, Assessment Techniques and Assurance Actions
State sharding model on the blockchain
FlowSeek: Optical Flow Made Easier with Depth Foundation Models and Motion Bases
Formal semantics of language and the Richard-Berry paradox
Adaptive Configuration Oracle for Online Portfolio Selection Methods
Vision-Language Models for Acute Tuberculosis Diagnosis: A Multimodal Approach Combining Imaging and Clinical Data
Real-Time Contingency Analysis with Corrective Transmission Switching - Part I: Methodology
A unified neural network for object detection, multiple object tracking and vehicle re-identification
Deep Transfer-Learning for patient specific model re-calibration: Application to sEMG-Classification
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011
Boosting Night-time Scene Parsing with Learnable Frequency
Self-Weighted Robust LDA for Multiclass Classification with Edge Classes
Towards Automatic Abdominal Multi-Organ Segmentation in Dual Energy CT using Cascaded 3D Fully Convolutional Network
Blink-to-code: real-time Morse code communication via eye blink detection and classification
Visualization by Example
Scheduling periodic messages on a shared link
Multi-code deep image prior based plug-and-play ADMM for image denoising and CT reconstruction
Avian Influenza (H5N1) Warning System using Dempster-Shafer Theory and Web Mapping
A Logarithmic Depth Quantum Carry-Lookahead Modulo (2 n -1) Adder
Finite-Length Scaling of Polar Codes
Sparse sampling recovery in integral norms on some function classes
AdaBet: Gradient-free Layer Selection for Efficient Training of Deep Neural Networks
Inverse Reinforcement Learning in the Continuous Setting with Formal Guarantees
Handling oversampling in dynamic networks using link prediction
Flexible Example-based Image Enhancement with Task Adaptive Global Feature Self-Guided Network
Automated identification and characterization of parcels (AICP) with OpenStreetMap and Points of Interest
A New Formulation for Zeroth-Order Optimization of Adversarial EXEmples in Malware Detection
Semi-Supervised Classification Through the Bag-of-Paths Group Betweenness
MEME: Generating RNN Model Explanations via Model Extraction
The complexity of approximately counting in 2-spin systems on $k$-uniform bounded-degree hypergraphs
DeepSpeed Inference: Enabling Efficient Inference of Transformer Models at Unprecedented Scale
THLNet: two-stage heterogeneous lightweight network for monaural speech enhancement
Segmentation of Roads in Satellite Images using specially modified U-Net CNNs
Deep Learning for Surface Material Classification Using Haptic And Visual Information
Generalization of Machine Learning for Problem Reduction: A Case Study on Travelling Salesman Problems
rPPG-SysDiaGAN: Systolic-Diastolic Feature Localization in rPPG Using Generative Adversarial Network with Multi-Domain Discriminator
SST: Self-training with Self-adaptive Thresholding for Semi-supervised Learning
Secure Network Code for Adaptive and Active Attacks with No-Randomness in Intermediate Nodes
Iterative Adaptively Regularized LASSO-ADMM Algorithm for CFAR Estimation of Sparse Signals: IAR-LASSO-ADMM-CFAR Algorithm
Aligning Reasoning LLMs for Materials Discovery with Physics-aware Rejection Sampling
The Arm-Swing Is Discriminative in Video Gait Recognition for Athlete Re-Identification
Approximate Capacity Region of the MAC-IC-MAC
A Conflicts-free, Speed-lossless KAN-based Reinforcement Learning Decision System for Interactive Driving in Roundabouts
Understanding and Improving Training-Free AI-Generated Image Detections with Vision Foundation Models
Exact space-time symmetry conservation and automatic mesh refinement for classical lattice field theory
Throughput Optimization in UAV-Mounted RIS under Jittering and Imperfect CSI via DRL
A block-acoustic preconditioner for the elastic Helmholtz equation
Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
A Generic Algorithm for Top-K On-Shelf Utility Mining
Text Grouping Adapter: Adapting Pre-trained Text Detector for Layout Analysis
Federated Learning for Medical Image Analysis: A Survey
Linear Network Error Correction Multicast/Broadcast/Dispersion Codes
Detecting Renewal States in Chains of Variable Length via Intrinsic Bayes Factors
Deep Image Fingerprint: Accurate And Low Budget Synthetic Image Detector
Online Learning with Gated Linear Networks
Two-phase weakly supervised object detection with pseudo ground truth mining
Pembobolan website KPU (Komisi Pemilihan Umum) Apakah melanggar UU RI no.36 tahun 1999 tentang telekomunikasi ?
A Note on the Power of Truthful Approximation Mechanisms
Slimmable Pruned Neural Networks
KGUF: Simple Knowledge-aware Graph-based Recommender with User-based Semantic Features Filtering
Sparser Training for On-Device Recommendation Systems
Toward Large Language Models as a Therapeutic Tool: Comparing Prompting Techniques to Improve GPT-Delivered Problem-Solving Therapy
Gas limit aware mutation testing of smart contracts at scale
Control Contraction Metrics and Universal Stabilizability
A Simple Lower Bound on the Noncoherent Capacity of Highly Underspread Fading Channels
Complexity Reduction for Parameter-Dependent Linear Systems
How An Automated Gesture Imitation Game Can Improve Social Interactions With Teenagers With ASD
GWRBoost: A geographically weighted gradient boosting method for explainable quantification of spatially-varying relationships
From Knowledge Augmentation to Multi-tasking: Towards Human-like Dialogue Systems
Retrieval-Augmented Semantic Parsing: Using Large Language Models to Improve Generalization
Compressed Sensing: Mathematical Foundations, Implementation, and Advanced Optimization Techniques
A refined primal-dual analysis of the implicit bias
Efficient Relational Context Perception for Knowledge Graph Completion
Modulation Schemes for Functionalized Vesicle-based MC Transmitters
Riemannian Score-Based Generative Modeling
Randomized Asymmetric Chain of LoRA: The First Meaningful Theoretical Framework for Low-Rank Adaptation
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds
Forgetting Private Textual Sequences in Language Models via Leave-One-Out Ensemble
L3DMC: Lifelong Learning using Distillation via Mixed-Curvature Space
Muon Optimizer Accelerates Grokking
HiFi-VC: High Quality ASR-Based Voice Conversion
Understanding Meanings in Multilingual Customer Feedback
Integrating Sensing and Communications in 6G? Not Until It Is Secure to Do So
Extreme Blind Image Restoration via Prompt-Conditioned Information Bottleneck
Mapping the "long tail" of research funding: A topic analysis of NSF grant proposals in the Division of Astronomical Sciences
Atypicality for Heart Rate Variability Using a Pattern-Tree Weighting Method
Exploring the Limits of Vision-Language-Action Manipulations in Cross-task Generalization
Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs
From Logic to Language: A Trust Index for Problem Solving with LLMs
A parameter-dependent smoother for the multigrid method
Dynamic Stochastic Ensemble with Adversarial Robust Lottery Ticket Subnetworks
Approximation capability of neural networks on spaces of probability measures and tree-structured domains
Nuclear Norm Subspace Identification (N2SID) for short data batches
Are Distributed Ledger Technologies Ready for Smart Transportation Systems?
Scale Equivariant U-Net
A Learnable Self-supervised Task for Unsupervised Domain Adaptation on Point Clouds
A Fixation-based 360° Benchmark Dataset for Salient Object Detection
Dynamic Feature Selection from Variable Feature Sets Using Features of Features
The Pitfalls of Imitation Learning when Actions are Continuous
Exploiting Diffusion Prior for Task-driven Image Restoration
EEG and EMG dataset for the detection of errors introduced by an active orthosis device
Bridging the gap in FER: addressing age bias in deep learning
Immersed Virtual Element Methods for Elliptic Interface Problems
Local Fourier Analysis of P-Multigrid for High-Order Finite Element Operators
V-Fuzz: Vulnerability-Oriented Evolutionary Fuzzing
Weight Standardization
Minimax Lower Bounds for Linear Independence Testing
Replica placement for p2p redundant data storage on unreliable, non-dedicated machines
Conformance Verification of Normative Specifications using C-O Diagrams
On the Security of Trustee-based Social Authentications
Resource Usage Analysis for the Pi-Calculus
MetaSDF: Meta-learning Signed Distance Functions
Sketched RT3D: How to reconstruct billions of photons per second
Hierarchical Bipartition Routing for delivery guarantee in sparse wireless ad hoc sensor networks with obstacles
Stabilization control of networked mobile robot using past observation-based preditive filter
Constructing Accurate and Efficient Deep Spiking Neural Networks with Double-threshold and Augmented Schemes
On the Power of Clifford Strategies in Interactive Protocols
Robust thresholds: Counting triangle factors and A shorter proof of the robust Corrádi-Hajnal Theorem
Metamorphic Testing of Deep Code Models: A Systematic Literature Review
Optimization of NB QC-LDPC Block Codes and Their Performance Analysis
Deep learning based Auto Tuning for Database Management System
A Terminology for Scientific Workflow Systems
Multiplicity structure of the arc space of a fat point
Classification and construction of closed-form kernels for signal representation on the 2-sphere
A Degree of Flowability for Virtual Tubes
Performance Measurement of Cloud Computing Services
Music generation with variational recurrent autoencoder supported by history
Deep Learning for Pavement Condition Evaluation Using Satellite Imagery
exBERT: A Visual Analysis Tool to Explore Learned Representations in Transformers Models
Learning an Interactive Segmentation System
Promoting Sustainable Web Agents: Benchmarking and Estimating Energy Consumption through Empirical and Theoretical Analysis
GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
Confidence Contours: Uncertainty-Aware Annotation for Medical Semantic Segmentation
Understanding the Role of Individual Units in a Deep Neural Network
Group Leaders Optimization Algorithm
Distributed Interference Cancellation in Multiple Access Channels
Super-Linear Convergence of Dual Augmented-Lagrangian Algorithm for Sparsity Regularized Estimation
Do Large Language Models Reason Causally Like Us? Even Better?
Reversible complement cyclic codes over finite chain rings
Generation and New Infinite Families of K 2 -hypohamiltonian Graphs
GCI-ViTAL: Gradual Confidence Improvement with Vision Transformers for Active Learning on Label Noise
Considerations for Cloud Security Operations
Tearing Apart NOTEARS: Controlling the Graph Prediction via Variance Manipulation
Improving Length-Generalization in Transformers via Task Hinting
Scalable Consistency Training for Graph Neural Networks via Self-Ensemble Self-Distillation
Energy-aware Dynamic Resource Allocation in Virtual Sensor Networks
Security Design Patterns in Distributed Microservice Architecture
Graph Deep Learning for Intracranial Aneurysm Blood Flow Simulation and Risk Assessment
The Weight Hierarchy of a Family of Cyclic Codes with Arbitrary Number of Nonzeroes
Towards an Understanding of Why and How ICT Projects Are Initiated: Analysis via Repertory Grid
Some Euler-type formulas for planar graphs
Shape2.5D: A Dataset of Texture-less Surfaces for Depth and Normals Estimation
SLAM-based Safe Indoor Exploration Strategy
Globally Convergent Policy Search over Dynamic Filters for Output Estimation
Fast low-level pattern matching algorithm
SEMINAR: Search Enhanced Multi-modal Interest Network and Approximate Retrieval for Lifelong Sequential Recommendation
Transfer Learning under High-dimensional Generalized Linear Models
Underwater Messaging Using Mobile Devices
Visualizing MAC and IPv6 Address Allocations
Learning correspondences of cardiac motion from images using biomechanics-informed modeling
Robust Rate-Maximization Game Under Bounded Channel Uncertainty
Modular Delta Merging with Orthogonal Constraints: A Scalable Framework for Continual and Reversible Model Composition
Optimized Algorithms to Sample Determinantal Point Processes
Coherence Learning using Keypoint-based Pooling Network for Accurately Assessing Radiographic Knee Osteoarthritis
Which Regular Expression Patterns are Hard to Match?
DPVis: Visual Exploration of Disease Progression Pathways
Optimal Investment under Mutual Strategy Influence among Agents
Towards Stepwise Domain Knowledge-Driven Reasoning Optimization and Reflection Improvement
Inventions on Tree Navigators used in Graphical User Interface
A Novel Method to Calculate Click Through Rate for Sponsored Search
A Novel Approach for Optimal Trajectory Design with Multiple Operation Modes of Propulsion System, Part 1
EvoRL: A GPU-accelerated Framework for Evolutionary Reinforcement Learning
Robust Variational Autoencoders for Outlier Detection in Mixed-Type Data
Reversible CAM Processor Modeled After Quantum Computer Behavior
Effective Monitoring of Online Decision-Making Algorithms in Digital Intervention Implementation
AccurateML: Information-aggregation-based Approximate Processing for Fast and Accurate Machine Learning on MapReduce
Extended to Multi-Tilde-Bar Regular Expressions and Efficient Finite Automata Constructions
POLAR: Policy-based Layerwise Reinforcement Learning Method for Stealthy Backdoor Attacks in Federated Learning
Explainable Anatomy-Guided AI for Prostate MRI: Foundation Models and In Silico Clinical Trials for Virtual Biopsy-based Risk Assessment
Bacon-Shor Board Games
Geometry-aware Single-image Full-body Human Relighting
S-MATE: Secure Coding-based Multipath Adaptive Traffic Engineering
Learning Perception and Planning with Deep Active Inference
Publication productivity and citation analysis of the Medical Journal of Malaysia: 2004 - 2008
A block triangular preconditioner for a class of three-by-three block saddle point problems
SCENE: Reasoning about Traffic Scenes using Heterogeneous Graph Neural Networks
Query Efficient Structured Matrix Learning
ChatGPT for Arabic Grammatical Error Correction
Table Detection in the Wild: A Novel Diverse Table Detection Dataset and Method
Inducing Constituency Trees through Neural Machine Translation
A hybrid finite difference--finite volume approach to solve first-order hyperbolic conservation laws with superior accuracy
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
C-Learner: Constrained Learning for Causal Inference and Semiparametric Statistics
MoreauPruner: Robust Pruning of Large Language Models against Weight Perturbations
When Graph Contrastive Learning Backfires: Spectral Vulnerability and Defense in Recommendation
Creating Synthetic Datasets for Collaborative Filtering Recommender Systems using Generative Adversarial Networks
Modeling the Intra-class Variability for Liver Lesion Detection using a Multi-class Patch-based CNN
Solving A System Of Linear Equations By Randomized Orthogonal Projectors
Ten Quick Tips for Deep Learning in Biology
Forecasting Electric Vehicle Charging Station Occupancy: Smarter Mobility Data Challenge
Improving on the Markov-Switching Regression Model by the Use of an Adaptive Moving Average
Decentralized Patient Centric e-Health Record Management System using Blockchain and IPFS
Distributed Particle Filter Implementation with Intermittent/Irregular Consensus Convergence
The Iterated Local Model for Social Networks
Merging fragments of classical logic
It is not Sexually Suggestive, It is Educative. Separating Sex Education from Suggestive Content on TikTok Videos
Bridging Accuracy and Explainability in EEG-based Graph Attention Network for Depression Detection
Qibo: a framework for quantum simulation with hardware acceleration
shuttleNet: A biologically-inspired RNN with loop connection and parameter sharing
Bringing Comparative Cognition To Computers
Opinion Mining on Offshore Wind Energy for Environmental Engineering
Zero-Shot Open-Vocabulary Human Motion Grounding with Test-Time Training
Differentially Private Learning of Hawkes Processes
Maximizing V-information for Pre-training Superior Foundation Models
Measuring Unfairness through Game-Theoretic Interpretability
Learning-Based Dequantization For Image Restoration Against Extremely Poor Illumination
Deep Reference Generation with Multi-Domain Hierarchical Constraints for Inter Prediction
Loss Aware Post-training Quantization
RIS-Assisted Downlink Pinching-Antenna Systems: GNN-Enabled Optimization Approaches
GeoLocSFT: Efficient Visual Geolocation via Supervised Fine-Tuning of Multimodal Foundation Models
Empirical Evaluation of Knowledge Distillation from Transformers to Subquadratic Language Models
H-VGRAE: A Hierarchical Stochastic Spatial-Temporal Embedding Method for Robust Anomaly Detection in Dynamic Networks
Getting more from the skyline operator through restricted skylines, regret minimizing sets and skyline ordering: a survey on their properties and comparison
Upper Tag Ontology (UTO) For Integrating Social Tagging Data
Smart Traffic Monitoring System using Computer Vision and Edge Computing
Efficient Active Training for Deep LiDAR Odometry
SPARTA ALIGNMENT: Collectively Aligning Multiple Language Models through Combat
Dynamic and Multi-functional Labeling Schemes