yusuke1997/dblp-id-title huggingface dataset:
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)
Demonstration Notebook: Finding the Most Suited In-Context Learning Example from Interactions
On the cut dimension of a graph
Ohana trees and Taylor expansion for the λI-calculus. No variable gets left behind or forgotten!
ExACT: Language-guided Conceptual Reasoning and Uncertainty Estimation for Event-based Action Recognition and More
Towards Multi-Task Multi-Modal Models: A Video Generative Perspective
Direct design of biquad filter cascades with deep learning by sampling random polynomials
Coverage Analysis of 3-D Dense Cellular Networks with Realistic Propagation Conditions
Noise Guided Structural Learning from Observing Stochastic Dynamics
VANiLLa : Verbalized Answers in Natural Language at Large Scale
Enhancing Accuracy in Deep Learning Using Random Matrix Theory
SSA-CNN: Semantic Self-Attention CNN for Pedestrian Detection
Global AI Governance in Healthcare: A Cross-Jurisdictional Regulatory Analysis
Large-scale matrix optimization based multi microgrid topology design with a constrained differential evolution algorithm
Quotient Hash Tables - Efficiently Detecting Duplicates in Streaming Data
MENO: Hybrid Matrix Exponential-based Neural Operator for Stiff ODEs. Application to Thermochemical Kinetics
Clustering by latent dimensions
OTCR: Optimal Transmission, Compression and Representation for Multimodal Information Extraction
The Impact of On-chip Communication on Memory Technologies for Neuromorphic Systems
DNSMOS: A Non-Intrusive Perceptual Objective Speech Quality metric to evaluate Noise Suppressors
A Multimodal Pipeline for Clinical Data Extraction: Applying Vision-Language Models to Scans of Transfusion Reaction Reports
OctoNav: Towards Generalist Embodied Navigation
Asymptotic Outage Analysis of HARQ-IR over Time-Correlated Nakagami-$m$ Fading Channels
Second-Order Optimization for Non-Convex Machine Learning: An Empirical Study
DockerMock: Pre-Build Detection of Dockerfile Faults through Mocking Instruction Execution
Seamless Parametrization with Arbitrarily Prescribed Cones
Resist Platform-Controlled AI Agents and Champion User-Centric Agent Advocates
Predicting Adversary Lateral Movement Patterns with Deep Learning
Constructing Gaussian Processes via Samplets
Scattering Function Estimation for Overspread Radar Targets
A Novel Algorithm for Community Detection in Networks using Rough Sets and Consensus Clustering
A Constructive Logic with Classical Proofs and Refutations (Extended Version)
A Theory of Lossy Compression for Individual Data
NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
Stable XOR-based Policies for the Broadcast Erasure Channel with Feedback
A Hands-on Comparison of DNNs for Dialog Separation Using Transfer Learning from Music Source Separation
Multi-color balance for color constancy
Optimal Net-Load Balancing in Smart Grids with High PV Penetration
Online-to-PAC Conversions: Generalization Bounds via Regret Analysis
Do LLMs Know When to Flip a Coin? Strategic Randomization through Reasoning and Experience
RAGSR: Regional Attention Guided Diffusion for Image Super-Resolution
Technical Approach for the EMI Challenge in the 8th Affective Behavior Analysis in-the-Wild Competition
Arrows for Parallel Computation
On the Use of Variability Operations in the V-Modell XT Software Process Line
Robust Randomized Low-Rank Approximation with Row-Wise Outlier Detection
Connectivity of Large Wireless Networks under A Generic Connection Model
Disseminando a Aprendizagem Colaborativa atraves do Ambiente Canvas
Byzantine-Fault-Tolerant Consensus via Reinforcement Learning for Permissioned Blockchain Implemented in a V2X Network
Toward Reasoning-Centric Time-Series Analysis
A Transfer Operator Methodology for Optimal Sensor Placement Accounting for Uncertainty
Semantic Predicate Types and Approximation for Class-based Object Oriented Programming
Non-Intrusive Load Monitoring Based on Image Load Signatures and Continual Learning
A DeepSeek-Powered AI System for Automated Chest Radiograph Interpretation in Clinical Practice
Efficient Generator of Mathematical Expressions for Symbolic Regression
Modality-Transition Representation Learning for Visible-Infrared Person Re-Identification
CRAQL: A Composable Language for Querying Source Code
Using Meta-learning to Recommend Process Discovery Methods
Stressed and Unstressed Pronouns: Complementary Preferences
Heterogeneous Treatment Effects Estimation: When Machine Learning meets multiple treatment regime
User Perceptions of Privacy in Smart Homes
Asymptotic Analysis of Run-Length Encoding
Dynamic Cell Imaging in PET with Optimal Transport Regularization
Semi-supervised sequence classification through change point detection
Spot-the-Camel: Computer Vision for Safer Roads
Cloud Revolution: Tracing the Origins and Rise of Cloud Computing
An Improved LPTC Neural Model for Background Motion Direction Estimation
Strategic Analysis of Dissent and Self-Censorship
WISE: full-Waveform variational Inference via Subsurface Extensions
K-Tensors: Clustering Positive Semi-Definite Matrices
PAEDID: Patch Autoencoder Based Deep Image Decomposition For Pixel-level Defective Region Segmentation
Model Agnostic Differentially Private Causal Inference
Convergence and Robustness Bounds for Distributed Asynchronous Shortest-Path
Spiking frequency modulation of proteinoids with light and realisation of Boolean gates
UMBRELLA: A One-stop Shop Bridging the Gap from Lab to Real-World IoT Experimentation
The Use of AI for Thermal Emotion Recognition: A Review of Problems and Limitations in Standard Design and Data
Lexicodes over Finite Principal Left Ideal Rings
Learning Visual Relation Priors for Image-Text Matching and Image Captioning with Neural Scene Graph Generators
An apocalypse-free first-order low-rank optimization algorithm
Fixed-time consensus of multiple double-integrator systems under directed topologies: A motion-planning approach
Empirical Evaluation of Effort on Composing Design Models
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, NCL 2024, Łódź, Poland, 5-8 September 2024
A Low Complexity VLSI Architecture for Multi-Focus Image Fusion in DCT Domain
Lhotse: a speech data representation library for the modern deep learning ecosystem
Noncommutative Martin-Lof randomness : on the concept of a random sequence of qubits
Characterizing normal perinatal development of the human brain structural connectivity
A Safe and Efficient Self-evolving Algorithm for Decision-making and Control of Autonomous Driving Systems
Leveraging LLMs for Context-Aware Implicit Textual and Multimodal Hate Speech Detection
Insect-Wing Structured Microfluidic System for Reservoir Computing
Advancing RVFL networks: Robust classification with the HawkEye loss function
How hard is graph isomorphism for graph neural networks?
Greedy Optimization of Resistance-based Graph Robustness with Global and Local Edge Insertions
Vision-Language Synthetic Data Enhances Echocardiography Downstream Tasks
Multi-Task Cross-Lingual Sequence Tagging from Scratch
An hp -adaptive finite element framework for static cracks: The impact of pointwise density variations on mode I, mode II, and mixed-mode fracture
Proceedings of the Third International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2012)
CHBench: A Chinese Dataset for Evaluating Health in Large Language Models
A fitted second-order difference scheme on a modified Shishkin mesh for a semilinear singularly-perturbed boundary-value problem
Reachability-based Safe Planning for Multi-Vehicle Systems withMultiple Targets
Monte-Carlo Cubature construction
A preliminary survey on optimized multiobjective metaheuristic methods for data clustering using evolutionary approaches
A framework for extraction and transformation of documents
Smart Novel Computer-based Analytical Tool for Image Forgery Authentication
Inner bounds via simultaneous decoding in quantum network information theory
CFU Playground: Full-Stack Open-Source Framework for Tiny Machine Learning (tinyML) Acceleration on FPGAs
Reasoning-VLA: A Fast and General Vision-Language-Action Reasoning Model for Autonomous Driving
Generative Model for Constructing Reaction Path from Initial to Final States
Fourier Neural Solver for large sparse linear algebraic systems
RepAir: A Framework for Airway Segmentation and Discontinuity Correction in CT
DyLoRA: Parameter Efficient Tuning of Pre-trained Models using Dynamic Search-Free Low-Rank Adaptation
Restricted subgraphs of edge-colored graphs and applications
Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games
Poser: Unmasking Alignment Faking LLMs by Manipulating Their Internals
Optimizing Temporal Convolutional Network inference on FPGA-based accelerators
Privacy-Preserving Action Recognition for Smart Hospitals using Low-Resolution Depth Images
Prompt-Based LLMs for Position Bias-Aware Reranking in Personalized Recommendations
Settling the Robust Learnability of Mixtures of Gaussians
pySLAM: An Open-Source, Modular, and Extensible Framework for SLAM
SkyAI Sim: An Open-Source Simulation of UAV Aerial Imaging from Satellite Data
Few-Shot Domain Adaptation for Charge Prediction on Unprofessional Descriptions
Data-driven Image Restoration with Option-driven Learning for Big and Small Astronomical Image Datasets
Enhancing Price Prediction in Cryptocurrency Using Transformer Neural Network and Technical Indicators
Machine Learning and Statistical Insights into Hospital Stay Durations: The Italian EHR Case
Advanced Deep Learning Techniques for Automated Segmentation of Type B Aortic Dissections
Chronic Disease Diagnoses Using Behavioral Data
Compression Scheme for Faster and Secure Data Transmission Over Internet
Better bounds for coalescing-branching random walks
Geometric averages of partitioned datasets
A Point Counting Algorithm for Cyclic Covers of the Projective Line
Agentic AI for 6G: A New Paradigm for Autonomous RAN Security Compliance
Corpora Evaluation and System Bias Detection in Multi-document Summarization
A Review On Table Recognition Based On Deep Learning
Similarity measure for Public Persons
Versatile Reservoir Computing for Heterogeneous Complex Networks
A Bilingual Parallel Corpus with Discourse Annotations
A Local Fourier Slice Theorem
Comparing Task Graph Scheduling Algorithms: An Adversarial Approach
Imaging through the Atmosphere using Turbulence Mitigation Transformer
Enhancing lattice kinetic schemes for fluid dynamics with Lattice-Equivariant Neural Networks
An Empirical Analysis of Deep Learning for Cardinality Estimation
Secure Computation on Additive Shares
Optimizing Indoor Environmental Quality in Smart Buildings Using Deep Learning
Information-Theoretic Constraints on Variational Quantum Optimization: Efficiency Transitions and the Dynamical Lie Algebra
On fast bounded locality sensitive hashing
A Central Pattern Generator Network for Simple Control of Gait Transitions in Hexapod Robots based on Phase Reduction
Rôle communautaire des capitalistes sociaux dans Twitter
Truncated Laplacian Mechanism for Approximate Differential Privacy
Vibration-aware Lidar-Inertial Odometry based on Point-wise Post-Undistortion Uncertainty
Design and Optimization of Residual Neural Network Accelerators for Low-Power FPGAs Using High-Level Synthesis
Limitations of machine learning for building energy prediction: ASHRAE Great Energy Predictor III Kaggle competition error analysis
On Quantum Obfuscation
Domain-Aware Dynamic Networks
SaLoBa: Maximizing Data Locality and Workload Balance for Fast Sequence Alignment on GPUs
The Geometry of Over-parameterized Regression and Adversarial Perturbations
Evaluation Framework For Large-scale Federated Learning
Adaptive Tree Backup Algorithms for Temporal-Difference Reinforcement Learning
On the Geometry of Stabilizer States
The backward Euler-Maruyama method for invariant measures of stochastic differential equations with super-linear coefficients
The guillotine approach for TSP with neighborhoods revisited
Pursuit Winning Strategies for Reach-Avoid Games with Polygonal Obstacles
CyGATE: Game-Theoretic Cyber Attack-Defense Engine for Patch Strategy Optimization
Pattern Avoidability with Involution
RadioHound: A Pervasive Sensing Network for Sub-6 GHz Dynamic Spectrum Monitoring
WENO reconstructions of unconditionally optimal high order
AffectGPT: Dataset and Framework for Explainable Multimodal Emotion Recognition
An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications
When does gradient descent with logistic loss find interpolating two-layer networks?
A Behavior Tree-inspired programming language for autonomous agents
Analysis of high order dimension independent RBF-FD solution of Poisson's equation
Reconstructing veriT Proofs in Isabelle/HOL
Binary Energy Harvesting Channel with Finite Energy Storage
A Prolog Specification of Giant Number Arithmetic
Specifying Agent Ethics (Blue Sky Ideas)
THaLLE: Text Hyperlocally Augmented Large Language Extension - Technical Report
Structure-preserving model reduction of multi-symplectic PDEs
Uncertainty-Aware Capacity Expansion for Real-World DER Deployment via End-to-End Network Integration
Coreference as an indicator of context scope in multimodal narrative
Comparing Apples to Oranges: LLM-powered Multimodal Intention Prediction in an Object Categorization Task
SEED: Customize Large Language Models with Sample-Efficient Adaptation for Code Generation
Pushing the limits of self-supervised ResNets: Can we outperform supervised learning without labels on ImageNet?
Toward Robust Multimodal Learning using Multimodal Foundational Models
Enumerative Algorithms for the Shortest and Closest Lattice Vector Problems in Any Norm via M-Ellipsoid Coverings
Dynamic Buffers: Cost-Efficient Planning for Tabletop Rearrangement with Stacking
X-Factor: Quality Is a Dataset-Intrinsic Property
In-Place Longest Common Extensions
Feature Homomorphism - A Cryptographic Scheme For Data Verification Under Ciphertext-Only Conditions
Energy-efficient Resource Allocation for Wirelessly Powered Backscatter Communications
Two-Sided Matching Markets in the ELLIS 2020 PhD Program
SyntaxSQLNet: Syntax Tree Networks for Complex and Cross-DomainText-to-SQL Task
Agentic Business Process Management: The Past 30 Years And Practitioners' Future Perspectives
Comparing Conventional Pitch Detection Algorithms with a Neural Network Approach
Mask-Guided Discovery of Semantic Manifolds in Generative Models
An Empirical Study of Training State-of-the-Art LiDAR Segmentation Models
Joint Coverage and Power Control in Highly Dynamic and Massive UAV Networks: An Aggregative Game-theoretic Learning Approach
Convergence Rate in Nonlinear Two-Time-Scale Stochastic Approximation with State (Time)-Dependence
Introducing Risk Shadowing For Decisive and Comfortable Behavior Planning
Performance and analysis of Quadratic Residue Codes of lengths less than 100
EAC-Net: A Region-based Deep Enhancing and Cropping Approach for Facial Action Unit Detection
Proposing Cluster_Similarity Method in Order to Find as Much Better Similarities in Databases
audioLIME: Listenable Explanations Using Source Separation
Nonlinear Regression without i.i.d. Assumption
Invariants of the quantum graph of the partial trace
ViewCraft3D: High-Fidelity and View-Consistent 3D Vector Graphics Synthesis
Exact and Metaheuristic Approaches for the Production Leveling Problem
Mitigating Byzantine Attacks in Federated Learning
Hierarchical and Efficient Learning for Person Re-Identification
A novel Gaussian mixture model for superpixel segmentation
Recurrent Neural Networks for Stochastic Control Problems with Delay
Comparative study of finite element methods using the Time-Accuracy-Size (TAS) spectrum analysis
Deep Learning-Assisted Jamming Mitigation with Movable Antenna Array
A single-phase, proximal path-following framework
Homomorphism Extension
A Variable Eddington Factor Model for Thermal Radiative Transfer with Closure based on Data-Driven Shape Function
A note on incremental SVD: reorthogonalization
A Simple yet Effective Network based on Vision Transformer for Camouflaged Object and Salient Object Detection
Dynamic replanning in uncertain environments for a sewer inspection robot
On the computation of the cumulative distribution function of the Normal Inverse Gaussian distribution
Least Significant Digit First Presburger Automata
CUQ-GNN: Committee-based Graph Uncertainty Quantification using Posterior Networks
The Future of AI-Assisted Writing
Query Optimization Beyond Data Systems: The Case for Multi-Agent Systems
InterpolationSLAM: A Novel Robust Visual SLAM System in Rotational Motion
RGB-D Scene Labeling with Long Short-Term Memorized Fusion Model
Taylor Series as Wide-sense Biorthogonal Wavelet Decomposition
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
Social Events in a Time-Varying Mobile Phone Graph
Drone-based quantum key distribution
Data-driven classification of low-power communication signals by an unauthenticated user using a software-defined radio
Numerical analysis for a system coupling curve evolution attached orthogonally to a fixed boundary, to a reaction-diffusion equation on the curve
Association Rules Mining Based Clinical Observations
Quantum optimization with arbitrary connectivity using Rydberg atom arrays
Optimized Rate-Profiling for PAC Codes
Lossy Image Compression with Normalizing Flows
Efficient Bidirectional Neural Machine Translation
Can AI Master Construction Management (CM)? Benchmarking State-of-the-Art Large Language Models on CM Certification Exams
Medical Image Denoising using Adaptive Threshold Based on Contourlet Transform
ESGBench: A Benchmark for Explainable ESG Question Answering in Corporate Sustainability Reports
Learning Robust Autonomous Navigation and Locomotion for Wheeled-Legged Robots
Dynamic Feature Scaling for K-Nearest Neighbor Algorithm
Multimodal Fusion via a Series of Transfers for Noise Removal
What you see is (not) what you get: A VR Framework for Correcting Robot Errors
Automate migration to microservices architecture using Machine Learning techniques
A Hybrid-Layered System for Image-Guided Navigation and Robot Assisted Spine Surgery
Advancing Spiking Neural Networks towards Multiscale Spatiotemporal Interaction Learning
Quasiprobabilistic Density Ratio Estimation with a Reverse Engineered Classification Loss Function
The Use of Video Captioning for Fostering Physical Activity
Algebraic models of simple type theories: a polynomial approach
Trace-based cryptoanalysis of cyclotomic PLWE for the non-split case
GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
LapGM: A Multisequence MR Bias Correction and Normalization Model
GNBG-Generated Test Suite for Box-Constrained Numerical Global Optimization
PrefRec: Preference-based Recommender Systems for Reinforcing Long-term User Engagement
A Mutually Exciting Latent Space Hawkes Process Model for Continuous-time Networks
An Encoding-Searching Separation Perspective on Bi-Encoder Neural Search
GATE: Gated Additive Tree Ensemble for Tabular Classification and Regression
Strong convergence rates of stochastic theta methods for index 1 stochastic differential algebraic equations under non-globally Lipschitz conditions
Calibrating Generative Models
Playing games in an uncertain world
Exploring the Boundaries of Semi-Supervised Facial Expression Recognition: Learning from In-Distribution, Out-of-Distribution, and Unconstrained Data
Development and Testing for Perception Based Autonomous Landing of a Long-Range QuadPlane
From Time Series to Euclidean Spaces: On Spatial Transformations for Temporal Clustering
Sustainability of Stack Exchange Q\&A communities: the role of trust
A Lagrangian-Informed Long-Term Dispatch Policy for Coupled Hydropower and Photovoltaic Systems
Introduction to the non-asymptotic analysis of random matrices
Signal and Noise Classification in Bio-Signals via unsupervised Machine Learning
BPnP: Further Empowering End-to-End Learning with Back-Propagatable Geometric Optimization
ECoHeN: A Hypothesis Testing Framework for Extracting Communities from Heterogeneous Networks
Formalizing Chemical Theory using the Lean Theorem Prover
Survey on QoE\QoS Correlation Models For Multimedia Services
PRISM-Consult: A Panel-of-Experts Architecture for Clinician-Aligned Diagnosis
Signatures, lifts, and eigenvalues of graphs
Construction of LDPC convolutional codes with large girth from Latin squares
Fully Decentralized Peer-to-Peer Community Grid with Dynamic and Congestion Pricing
On the Stability and Convergence of Stochastic Gradient Descent with Momentum
Hybrid Deep Learning Modeling Approach to Predict Natural Gas Consumption of Home Subscribers on Limited Data
On the Capacity of Networks with Correlated Sources
Calibrated Adversarial Sampling: Multi-Armed Bandit-Guided Generalization Against Unforeseen Attacks
Topological De-Noising: Strengthening the Topological Signal
ARM: Augment-REINFORCE-Merge Gradient for Discrete Latent Variable Models
Randomized Rank-Revealing UZV Decomposition for Low-Rank Approximation of Matrices
Can SAEs reveal and mitigate racial biases of LLMs in healthcare?
Smart Traction Control Systems for Electric Vehicles Using Acoustic Road-type Estimation
Born a Transformer - Always a Transformer?
Enhancing COVID-19 Severity Analysis through Ensemble Methods
Patient-Specific Game-Based Transfer Method for Parkinson's Disease Severity Prediction
On the Marginal Benefit of Active Learning: Does Self-Supervision Eat Its Cake?
EdgeMixup: Improving Fairness for Skin Disease Classification and Segmentation
A Square-Root Free Algorithm for Computing Real Givens Rotations
Synthesis of Minimal Error Control Software
SHAPE: Linear-Time Camera Pose Estimation With Quadratic Error-Decay
An analysis of deep neural networks for predicting trends in time series data
DialogGuard: Multi-Agent Psychosocial Safety Evaluation of Sensitive LLM Responses
Infinite-State Energy Games
How far can we go with ImageNet for Text-to-Image generation?
When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan
BRIDG-ICS: AI-Grounded Knowledge Graphs for Intelligent Threat Analytics in Industry~5.0 Cyber-Physical Systems
OpenMix: Reviving Known Knowledge for Discovering Novel Visual Categories in An Open World
A Neuro-AI Interface for Evaluating Generative Adversarial Networks
Lambda Types on the Lambda Calculus with Abbreviations
On the relationship between the structural and socioacademic communities of an interdisciplinary coauthorship network
Robust Generalization and Safe Query-Specialization in Counterfactual Learning to Rank
When to Update the sequential patterns of stream data?
Optimizing Character Animations using Online Crowdsourcing
Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids
Radio Generation Using Generative Adversarial Networks with An Unrolled Design
ChaosMining: A Benchmark to Evaluate Post-Hoc Local Attribution Methods in Low SNR Environments
Autoregressive Generative Modeling with Noise Conditional Maximum Likelihood Estimation
Machine Learning Methods to Analyze Arabidopsis Thaliana Plant Root Growth
Efficient SPARQL Autocompletion via SPARQL
Enhancing the Robustness of Contextual ASR to Varying Biasing Information Volumes Through Purified Semantic Correlation Joint Modeling
Multi-Source Coflow Scheduling in Collaborative Edge Computing with Multihop Network
Unified Field Multiplier for ECC: Inherent Resistance against Horizontal SCA Attacks
Emerging Trends in Pseudo-Label Refinement for Weakly Supervised Semantic Segmentation with Image-Level Supervision
Minimal Convex Environmental Contours
Training Generative Adversarial Networks Via Turing Test
Consciousness defined: requirements for biological and artificial general intelligence
Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications
Im2Haircut: Single-view Strand-based Hair Reconstruction for Human Avatars
Esports Debut as a Medal Event at 2023 Asian Games: Exploring Public Perceptions with BERTopic and GPT-4 Topic Fine-Tuning