SOTAVerified

ARC

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 201–250 of 554 papers

TitleStatusHype
Dynamic Tolling in Arc-based Traffic Assignment Models—0
Effective Online Reordering with Arc-Eager Transitions—0
Constraint Reductions—0
Efficient Encodings of Conditional Cardinality Constraints—0
Efficient Implementation of the Global Cardinality Constraint with Costs—0
Efficient Near-Field Imaging Using Cylindrical MIMO Arrays—0
ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge—0
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels—0
Efficient Stacked Dependency Parsing by Forest Reranking—0
Elastic Weight Consolidation for Full-Parameter Continual Pre-Training of Gemma2—0
Emotion Arcs of Student Narratives—0
Empirically Evaluating Creative Arc Negotiation for Improvisational Decision-making—0
Encoding the Local Connectivity Patterns of fMRI for Cognitive State Classification—0
Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL—0
Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles—0
EoRA: Training-free Compensation for Compressed LLM with Eigenspace Low-Rank Approximation—0
Constrained Trading Networks—0
Evaluating Understanding on Conceptual Abstraction Benchmarks—0
Evaluation of Alignment-Regularity Characteristics in Deformable Image Registration—0
Evidence Absorption and Propagation through Evidence Reversals—0
Exact and heuristic methods for the discrete parallel machine scheduling location problem—0
ExplanationLP: Abductive Reasoning for Explainable Science Question Answering—0
Conservative Wasserstein Training for Pose Estimation—0
Exploiting the Pruning Power of Strong Local Consistencies Through Parallelization—0
Antenna Response Consistency Driven Self-supervised Learning for WIFI-based Human Activity Recognition—0
Extending the kinematic theory of rapid movements with new primitives—0
A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms—0
Connected Incomplete Preferences—0
Fast and flexible: Human program induction in abstract reasoning tasks—0
Autonomous Cyber Resilience via a Co-Evolutionary Arms Race within a Fortified Digital Twin Sandbox—0
ARC-Calib: Autonomous Markerless Camera-to-Robot Calibration via Exploratory Robot Motions—0
Arc-based Traffic Assignment: Equilibrium Characterization and Learning—0
Fast Unsupervised Dependency Parsing with Arc-Standard Transitions—0
Federated Meta Learning Enhanced Acoustic Radio Cooperative Framework for Ocean of Things Underwater Acoustic Communications—0
Feedforward Ordering in Neural Connectomes via Feedback Arc Minimization—0
Fence decompositions and cherry covers in non-binary phylogenetic networks—0
Confluent Vessel Trees with Accurate Bifurcations—0
First Competitive Ant Colony Scheme for the CARP—0
AI-driven Transformer Model for Fault Prediction in Non-Linear Dynamic Automotive System—0
Concept Arithmetics for Circumventing Concept Inhibition in Diffusion Models—0
Flow Graph Corpus from Recipe Texts—0
4 and 7-bit Labeling for Projective and Non-Projective Dependency Trees—0
Formal Fields: A Framework to Automate Code Generation Across Domains—0
F-RDW: Redirected Walking with Forecasting Future Position—0
Genetic Programming Hyper-Heuristics with Vehicle Collaboration for Uncertain Capacitated Arc Routing Problems—0
Frequency Dynamic Convolutions for Sound Event Detection—0
Computational role of eccentricity dependent cortical magnification—0
From Forks to Forceps: A New Framework for Instance Segmentation of Surgical Instruments—0
From Generation to Generalization: Emergent Few-Shot Learning in Video Diffusion Models—0
Comparing Greedy Constructive Heuristic Subtour Elimination Methods for the Traveling Salesman Problem—0
Show:102550
← PrevPage 5 of 12Next →

No leaderboard results yet.