Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Muller automaton

In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.The… Expand
Wikipedia

Related topics

Related topics

10 relations
Automata constructionAutomata theoryBüchi automatonComputer scientist
Expand

Broader (1)

Model checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
THREE-WEIGHT CODES AND ASSOCIATION SCHEMES
Three-weight projective codes C are considered for which the restrietion to C of the Hamming association scheme Hn(q) is an… Expand
Is this relevant?
2007
2007
PARENTAL RATINGS OF CHILDREN WITH FETAL ALCOHOL SPECTRUM DISORDER ON THE BEHAVIOR RATING INVENTORY OF EXECUTIVE FUNCTION (BRIEF)
Children with FASD typically display deficits on cognitive measures of executive functioning, but the goal of this study was to… Expand
  • table 1
  • figure 1
  • figure 2
Is this relevant?
2006
2006
Face recognition subject to variations in facial expression, illumination and pose using correlation filters
In this paper, we have selected some recent advanced correlation filters: minimum average correlation filter (MACE… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
List decoding of q-ary Reed-Muller codes
The q-ary Reed-Muller (RM) codes RM/sub q/(u,m) of length n=q/sup m/ are a generalization of Reed-Solomon (RS) codes, which use… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Physiological impacts on alkenone paleothermometry
We conducted isothermal (15°C) batch culture experiments with the coccolithophorid Emiliania huxleyi (strain NEPCC 55a) to… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
2003
2003
Bipartite Domination and Simultaneous Matroid Covers
Damaschke, Muller, and Kratsch [Inform. Process. Lett., 36 (1990), pp. 231--236] gave a polynomial-time algorithm to solve the… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
A Theory of Timed Automata
Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994) 183-235. We propose timed (j&e… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1981
1981
A generative approach to the phonology of Bahasa Indonesia
This thesis is a transformational generative account of the phonology of Bahasa Indonesia ('Indonesian (language)'), the national… Expand
  • table 2
  • table 3
Is this relevant?
1980
1980
Sporomorphs from the Jackson Group (upper Eocene) and adjacent strata of Mississippi and western Alabama
This palynological study is based on 71 outcrop and core samples of the Jackson Group and adjacent strata from the type area of… Expand
  • table 1
  • table 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1970
Highly Cited
1970
On Generalized Reed-Muller Codes and Their Relatives
The polynomial formulation of generalized ReedMuller codes, first introduced by Kasami, Lin, and Peterson is somewhat formalized… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE