Skip to search formSkip to main contentSkip to account menu

Overlap (term rewriting)

In mathematics, computer science and logic, overlap, as a property of the reduction rules in term rewriting system, describes a situation where a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Computer scienceCritical pair (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A partial transmit sequences based approach for the reduction of peak-to-average power ratio in FBMC system
In this paper, we propose a PTS-based approach to solve the high peak-to-average power ratio (PAPR) problem in filter bank… 
2011
2011
Detection of explosive hazards using spectrum features from forward-looking ground penetrating radar imagery
Buried explosives have proven to be a challenging problem for which ground penetrating radar (GPR) has shown to be effective… 
2010
2010
Vizualizing Large Spatial Datasets in Interactive Maps
  • Jean-Yves Delort
  • Second International Conference on Advanced…
  • 2010
  • Corpus ID: 15629050
This paper addresses the problem of reducing cluttering in interactive maps. It presents a new technique for visualizing large… 
2005
2005
Controlling Item Exposure and Test Overlap in Computerized Adaptive Testing
This article proposes an item exposure control method, which is the extension of the Sympson and Hetter procedure and can provide… 
2005
2005
Adaptive minimum bit error rate beamforming assisted receiver for QPSK wireless communication
1998
1998
Comparing cosmic microwave background datasets
To extract reliable cosmic parameters from cosmic microwave background datasets, it is essential to show that the data are not… 
Review
1977
Review
1977
DISTRIBUTION OF THE MALAGASY LEMURS PART 2: LEMUR CATTA AND LEMUR FULVUS IN SOUTHERN AND WESTERN MADAGASCAR *
This report is the result of surveys conducted in southern and western Madagascar during an 18-month field study (September 1969… 
1974
1974
Effects of nitrogen on asexual and sexual reproduction of Peridinium cinctum f. ovoplanum Lindemann
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1973
1973
An Empirical Analysis of the Dual Labor Market Theory.
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
1972
1972
The effects of reducing and masking the auditory cues accompanying performance of select gross motor tasks on the performance of those tasks.
3. When a map, drawing or chart, etc., was part of the material being photographed the photographer followed a definite method in… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)