Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
This paper presents a method for addressing the dc component in the input signal of the phase-locked loop (PLL) and notch filter… 
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… 
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… 
Highly Cited
2004
Highly Cited
2004
Catadioptric sensors are devices which utilize mirrors and lenses to form a projection onto the image plane of a camera. Central… 
Highly Cited
2004
Highly Cited
2004
Basket Analysis, which is a standard method for data mining, derives frequent itemsets from database. However, its mining ability… 
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… 
Highly Cited
2001
Highly Cited
2001
  • A. Miné
  • Proceedings Eighth Working Conference on Reverse…
  • 2001
  • Corpus ID: 1350556
This article presents the octagon abstract domain, a relational numerical abstract domain for static analysis by abstract… 
Highly Cited
1997
Highly Cited
1997
The critical cell signals that trigger cardiac hypertrophy and regulate the transition to heart failure are not known. To… 
Highly Cited
1969
Highly Cited
1969
Massachusetts Institute of Technology, Alfred P. Sloan School of Management. Thesis. 1969. Ph.D.