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

A-normal form

Known as: ANF, A normal form, Administrative normal form 
In computer science, A-normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers introduced by Sabry and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Control Parameters design of a three-phase synchronous reference frame phase locked loop (SRF-PLL) with a prefiltering stage… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2014
Highly Cited
2014
To improve the performance of sensorless interior permanent magnet synchronous motor (IPMSM) drives, a quadrature phase-locked… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
This paper introduces an approach for the real-time extraction of the frequency, phase angle, and symmetrical components of the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Noise reduction and signal decomposition are among important and practical issues in time-domain signal analysis. This paper… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Online frequency estimation of a pure sinusoidal signal is a classical problem that has many practical applications. Recently an… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper takes a first step towards the design and normalization theory for XML documents. We show that, like relational… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Graphs are an increasingly important data source, with such important graphs as the Internet and the Web. Other familiar graphs… Expand
  • figure 1
  • figure 3
  • table 2
  • table 3
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this paper, we present a new approach for computing normal forms in the quotient algebra A of a polynomial ring R by an ideal… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We give a straightforward definition for redundancy in individual nested relations and define a new normal form that precisely… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 7
  • figure 9
Is this relevant?
1996
1996
Most legal expert systems attempt to implement complex models of legal reasoning. Yet the utility of a legal expert system lies… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.4
  • figure 2.5
  • figure 3.1
Is this relevant?