Home Knowledge Base DFA

DFA

No mentions found

This entity hasn't been tracked yet, or Iris is still building its knowledge base.

Related Articles from SNS

Traceable by Design: An LLM Pipeline and Dashboard for EU Regulatory Consultation Analysis

arXiv:2605.30995v1 Announce Type: new Abstract: Public consultations generate large volumes of data in the form of stakeholder submissions that are practically unfeasible to analyse manually. We present an end-to-end LLM-based pipeline and interactive dashboard for structured topic extraction from regulatory consultation submissions, demonstrated on the European Commission's Digital Fairness Act (DFA) public call for evidence as a case study. The system processes raw PDF attachments and...

arXiv CS 9d ago

Synchronization of strongly connected partial DFAs and prefix codes

Announce Type: replace Abstract: We study synchronizing partial DFAs, which extend the classical concept of synchronizing complete DFAs and are a special case of synchronizing unambiguous NFAs. A partial DFA is called synchronizing if it has a word (called a \emph{reset word}) whose action brings a non-empty subset of states to a unique state and is undefined for all other states. The class of strongly connected partial DFAs is precisely the class of DFAs recognizing the Kleene star of...

arXiv CS 5d ago

Traceable by Design: An LLM Pipeline and Dashboard for EU Regulatory Consultation Analysis

arXiv:2605.30995v2 Announce Type: replace Abstract: Public consultations generate large volumes of data in the form of stakeholder submissions that are practically unfeasible to analyse manually. We present an end-to-end LLM-based pipeline and interactive dashboard for structured topic extraction from regulatory consultation submissions, demonstrated on the European Commission's Digital Fairness Act (DFA) public call for evidence as a case study. The system processes raw PDF attachments and...

arXiv CS 6d ago

Dave Roberts calls criticism of Dodgers' spending 'lazy,' says rivals should 'look in the mirror'

The Los Angeles Dodgers are ruining baseball. That's the endless complaint from a number of uninformed fans, outside observers, certain media members and opposing owners happy to push for a salary cap to guarantee themselves more profits. A few years ago, however, they were the laughingstock of the sport.

Fox News 6d ago

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

Announce Type: new Abstract: In this work we study offline reinforcement learning (RL) under temporally extended task constraints expressed in Linear Temporal Logic over finite traces (LTLf). Recently, transformer-based approaches such as Trajectory Transformers and Decision Transformers have been adopted to address RL as a sequence modeling problem. However, these methods optimize purely for reward and do not account for high-level temporal requirements.

arXiv CS 1d ago

Quantifying Noise of Dynamic Vision Sensor

Announce Type: replace Abstract: Dynamic visual sensors (DVS) are characterized by a large amount of background activity (BA) noise, which it is mixed with the original (cleaned) sensor signal. The dynamic nature of the signal and the absence in practical application of the ground truth, it clearly makes difficult to distinguish between noise and the cleaned sensor signals using standard image processing techniques. In this letter, a new technique is presented to characterise BA noise...

arXiv CS 1d ago