English
Related papers

Related papers: Derivative-Based Diagnosis of Regular Expression A…

200 papers

In this paper we provide a principled approach to solve a transductive classification problem involving a similar graph (edges tend to connect nodes with same labels) and a dissimilar graph (edges tend to connect nodes with opposing…

Machine Learning · Computer Science 2012-06-27 Sundararajan Sellamanickam , Sathiya Keerthi Selvaraj

Approximating nonlinear differential equations using a neural network provides a robust and efficient tool for various scientific computing tasks, including real-time predictions, inverse problems, optimal controls, and surrogate modeling.…

Machine Learning · Computer Science 2023-10-02 Yuxuan Liu , Zecheng Zhang , Hayden Schaeffer

This paper proposes two kinds of fuzzy abductive inference in the framework of fuzzy rule base. The abductive inference processes described here depend on the semantic of the rule. We distinguish two classes of interpretation of a fuzzy…

Artificial Intelligence · Computer Science 2007-05-23 Nedra Mellouli , Bernadette Bouchon-Meunier

Common wisdom has it that the bias of stochastic grammars in favor of shorter derivations of a sentence is harmful and should be redressed. We show that the common wisdom is wrong for stochastic grammars that use elementary trees instead of…

Computation and Language · Computer Science 2007-05-23 Rens Bod

The grammar representation of a narrowing tree for a syntactically deterministic conditional term rewriting system and a pair of terms is a regular tree grammar that generates expressions for substitutions obtained by all possible…

Logic in Computer Science · Computer Science 2019-02-25 Naoki Nishida , Yuya Maeda

We apply decision tree induction to the problem of discourse clue word sense disambiguation with a genetic algorithm. The automatic partitioning of the training set which is intrinsic to decision tree induction gives rise to linguistically…

cmp-lg · Computer Science 2008-02-03 Eric V. Siegel , Kathleen R. McKeown

Coping with ambiguous questions has been a perennial problem in real-world dialogue systems. Although clarification by asking questions is a common form of human interaction, it is hard to define appropriate questions to elicit more…

Computation and Language · Computer Science 2020-12-18 Xiang Hu , Zujie Wen , Yafang Wang , Xiaolong Li , Gerard de Melo

Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for Differential Linear Logic…

Logic in Computer Science · Computer Science 2016-06-07 Thomas Ehrhard

In this paper, we introduce a specific kind of doubly reflected Backward Stochastic Differential Equations (in short DRBSDEs), defined on probability spaces equipped with general filtration that is essentially non quasi-left continuous,…

Probability · Mathematics 2023-03-31 Ihsan Arharas , Siham Bouhadou , Youssef Ouknine

Functional transductions realized by two-way transducers (equivalently, by streaming transducers and by MSO transductions) are the natural and standard notion of "regular" mappings from words to words. It was shown recently (LICS'13) that…

Formal Languages and Automata Theory · Computer Science 2017-01-11 Félix Baschenis , Olivier Gauwin , Anca Muscholl , Gabriele Puppis

This paper offers a fresh look at the pumping lemma constant as an upper bound on the information required for learning Context Free Grammars. An objective function based on indirect negative evidence considers the occurrences, and…

Computation and Language · Computer Science 2024-09-04 Joseph Potashnik

Derivative-based algorithms are ubiquitous in statistics, machine learning, and applied mathematics. Automatic differentiation offers an algorithmic way to efficiently evaluate these derivatives from computer programs that execute relevant…

Computation · Statistics 2022-03-01 Charles C. Margossian , Michael Betancourt

Task oriented Dialogue Systems generally employ intent detection systems in order to map user queries to a set of pre-defined intents. However, user queries appearing in natural language can be easily ambiguous and hence such a direct…

Artificial Intelligence · Computer Science 2024-12-09 Kaustubh D. Dhole

In this paper, we present a novel approach to compute ambiguities in thinned uniform linear arrays, i.e., sparse non-uniform linear arrays, via a mixed-integer program. Ambiguities arise when there exists a set of distinct…

Signal Processing · Electrical Eng. & Systems 2022-09-28 Frederic Matter , Tobias Fischer , Marius Pesavento , Marc E. Pfetsch

For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognize this language with a non-deterministic, alternating, or weak alternating parity automaton. These questions are known as,…

Formal Languages and Automata Theory · Computer Science 2016-06-01 Alessandro Facchini , Filip Murlak , Michał Skrzypczak

We propose a method for non-projective dependency parsing by incrementally predicting a set of edges. Since the edges do not have a pre-specified order, we propose a set-based learning method. Our method blends graph, transition, and…

Machine Learning · Computer Science 2019-10-25 Sean Welleck , Kyunghyun Cho

We explore the problem of explaining observations in contexts involving statements with truth degrees such as `the lift is loaded', `the symptoms are severe', etc. To formalise these contexts, we consider infinitely-valued {\L}ukasiewicz…

Logic in Computer Science · Computer Science 2025-11-11 Katsumi Inoue , Daniil Kozhemiachenko

We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski's derivative from regular expressions to context-free grammars. The second approach is based on a generalization of…

Programming Languages · Computer Science 2015-03-17 Matthew Might , David Darais

Bayesian networks can be used to extract explanations about the observed state of a subset of variables. In this paper, we explicate the desiderata of an explanation and confront them with the concept of explanation proposed by existing…

Artificial Intelligence · Computer Science 2012-06-18 Ulf Nielsen , Jean-Philippe Pellet , André Elisseeff

This paper introduces epistemic graphs as a generalization of the epistemic approach to probabilistic argumentation. In these graphs, an argument can be believed or disbelieved up to a given degree, thus providing a more fine--grained…

Artificial Intelligence · Computer Science 2020-01-15 Anthony Hunter , Sylwia Polberg , Matthias Thimm
‹ Prev 1 4 5 6 7 8 10 Next ›