Skip to search formSkip to main contentSkip to account menu

Exponential search

In computer science, an exponential search (also called doubling search or galloping search) is an algorithm, created by Jon Bentley and Andrew Chi… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
AlgorithmArray data structureComputer scienceCycle detection

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
New evolutionary algorithms for mining interesting association rules
This PHD thesis deals with the evolutionary algorithms for mining frequent patterns and discovering useful and interesting… 
2015
2015
Combinatorial abstraction refinement for feasibility analysis of static priorities
Combinatorial explosion is a challenge for many analysis problems in the theory of hard real-time systems. One of these problems… 
2011
2011
Reassembling Thin Artifacts of Unknown Geometry
We introduce a novel reassembly method for fragmented, thin objects that uses minimal user interaction. Unlike past methods, we… 
2011
2011
LORD: Tracking mobile clients in a real mesh
2005
2005
Architecture-adaptive routability-driven placement for FPGAs
Current FPGA placement algorithms estimate the routability of a placement using architecture-specific metrics. The shortcoming of… 
2003
2003
Semantic Representation and Correspondence for State-Based Motion Transition
Consistent transition algorithms preserve salient source motion features by establishing feature-based correspondence between… 
2003
2003
ATPG-based preimage computation: efficient search space pruning with ZBDD
Computing image/preimage is a fundamental step in formal verification of hardware systems. Conventional OBDD-based methods for… 
2001
2001
Towards Optimal ǫ-Approximate Nearest Neighbor Algorithms in Constant Dimensions
The nearest neighbor (NN) problem on a set of n points P , is to build a data structure that when given a query point q, finds p… 
1995
1995
A Constant Time Algorithm for Theorem Proving in Propositional Logic on Reconfigurable Meshes
1994
1994
Spectral Techniques for Technology Mapping
Technology mapping is the crucial step in logic synthesis where technology dependent optimizations take place. The matching phase… 
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)