English
Related papers

Related papers: Active learning of timed automata with unobservabl…

200 papers

One of the long-term goals of artificial intelligence is to build an agent that can communicate intelligently with human in natural language. Most existing work on natural language learning relies heavily on training over a pre-collected…

Computation and Language · Computer Science 2017-05-30 Haichao Zhang , Haonan Yu , Wei Xu

We solve some decision problems for timed automata which were recently raised by S. Tripakis in [ Folk Theorems on the Determinization and Minimization of Timed Automata, in the Proceedings of the International Workshop FORMATS'2003, LNCS,…

Logic in Computer Science · Computer Science 2007-12-11 Olivier Finkel

Classroom activity detection (CAD) focuses on accurately classifying whether the teacher or student is speaking and recording both the length of individual utterances during a class. A CAD solution helps teachers get instant feedback on…

Audio and Speech Processing · Electrical Eng. & Systems 2020-02-12 Hang Li , Yu Kang , Wenbiao Ding , Song Yang , Songfan Yang , Gale Yan Huang , Zitao Liu

We introduce machine unlearning for speech tasks, a novel and underexplored research problem that aims to efficiently and effectively remove the influence of specific data from trained speech models without full retraining. This has…

Machine Learning · Computer Science 2025-06-03 Jiali Cheng , Hadi Amiri

Active learning algorithms automatically identify the most informative samples from large amounts of unlabeled data and tremendously reduce human annotation effort in inducing a machine learning model. In a conventional active learning…

Machine Learning · Computer Science 2026-04-28 Varun Totakura , Ankita Singh , Yushun Dong , Shayok Chakraborty

The traditional way of sentence-level event detection involves two important subtasks: trigger identification and trigger classifications, where the identified event trigger words are used to classify event types from sentences. However,…

Computation and Language · Computer Science 2023-06-27 Tongtao Ling , Lei Chen , Huangxu Sheng , Zicheng Cai , Hai-Lin Liu

Irregular sampling occurs in many time series modeling applications where it presents a significant challenge to standard deep learning models. This work is motivated by the analysis of physiological time series data in electronic health…

Machine Learning · Computer Science 2021-06-08 Satya Narayan Shukla , Benjamin M. Marlin

Deep learning algorithms are often said to be data hungry. The performance of such algorithms generally improve as more and more annotated data is fed into the model. While collecting unlabelled data is easier (as they can be scraped easily…

Machine Learning · Computer Science 2024-01-04 Abhishek Sinha , Shreya Singh

Effectively modeling time information and incorporating it into applications or models involving chronologically occurring events is crucial. Real-world scenarios often involve diverse and complex time patterns, which pose significant…

Machine Learning · Computer Science 2025-05-15 Xi Chen , Yateng Tang , Jiarong Xu , Jiawei Zhang , Siwei Zhang , Sijia Peng , Xuehao Zheng , Yun Xiong

Recent work has shown that large text-based neural language models, trained with conventional supervised learning objectives, acquire a surprising propensity for few- and one-shot learning. Here, we show that an embodied agent situated in a…

Computation and Language · Computer Science 2020-10-15 Felix Hill , Olivier Tieleman , Tamara von Glehn , Nathaniel Wong , Hamza Merzic , Stephen Clark

This work focuses on the persistent monitoring problem, where a set of targets moving based on an unknown model must be monitored by an autonomous mobile robot with a limited sensing range. To keep each target's position estimate as…

Robotics · Computer Science 2023-03-14 Yizhuo Wang , Yutong Wang , Yuhong Cao , Guillaume Sartoretti

Understanding natural language involves recognizing how multiple event mentions structurally and temporally interact with each other. In this process, one can induce event complexes that organize multi-granular events with temporal order…

Computation and Language · Computer Science 2021-05-04 Haoyu Wang , Muhao Chen , Hongming Zhang , Dan Roth

Parametric timed automata (PTA) are a powerful formalism to model and reason about concurrent systems with some unknown timing delays. In this paper, we address the (untimed) language- and trace-preservation problems: given a reference…

Logic in Computer Science · Computer Science 2023-06-22 Étienne André , Didier Lime , Nicolas Markey

In this paper we propose a data intensive approach for inferring sentence-internal temporal relations. Temporal inference is relevant for practical NLP applications which either extract or synthesize temporal information (e.g.,…

Computation and Language · Computer Science 2011-10-10 M. Lapata , A. Lascarides

Computer vision models suffer from a phenomenon known as catastrophic forgetting when learning novel concepts from continuously shifting training data. Typical solutions for this continual learning problem require extensive rehearsal of…

Computer Vision and Pattern Recognition · Computer Science 2023-03-31 James Seale Smith , Leonid Karlinsky , Vyshnavi Gutta , Paola Cascante-Bonilla , Donghyun Kim , Assaf Arbelle , Rameswar Panda , Rogerio Feris , Zsolt Kira

LLM-based autonomous agents perform well on general reasoning tasks but still struggle to reliably use task structure, key constraints, and prior experience in complex real-world settings. We propose a case-based learning framework that…

Artificial Intelligence · Computer Science 2026-04-15 Zhenyu Ma , Yuyang Song , Chunyi Yang , Jingyi Zhu , Letian Yang , Xukai Jiang

Spoken Language Models (SLMs) are increasingly central to modern speech-driven applications, but performance degrades under acoustic shift - real-world noise, reverberation, and microphone variation. Prior solutions rely on offline domain…

While Machine learning gives rise to astonishing results in automated systems, it is usually at the cost of large data requirements. This makes many successful algorithms from machine learning unsuitable for human-machine interaction, where…

Human-Computer Interaction · Computer Science 2021-09-30 Jan Philip Göpfert , Ulrike Kuhl , Lukas Hindemith , Heiko Wersing , Barbara Hammer

The question if a deterministic finite automaton admits a software reset in the form of a so-called synchronizing word can be answered in polynomial time. In this paper, we extend this algorithmic question to deterministic automata beyond…

Formal Languages and Automata Theory · Computer Science 2020-12-23 Henning Fernau , Petra Wolf , Tomoyuki Yamakami

Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic pushdown automata and a superclass of the parenthesis languages. Nguyen and Ogawa ("Event-clock visibly…

Formal Languages and Automata Theory · Computer Science 2021-03-09 Mizuhito Ogawa , Alexander Okhotin