Learn More
PURPOSE To evaluate the relationships between optic disc measurements, obtained by an optical coherence tomograph and a confocal scanning laser ophthalmoscope, and myopia. METHODS One hundred thirty-three eyes from 133 healthy subjects with mean spherical equivalent -6.0 +/- 4.2 D (range, -13.13 to +3.25 D) were analyzed. Optic disc measurements including(More)
The most popular architecture for parallel search is work stealing: threads that have run out of work (nodes to be searched) steal from threads that still have work. Work stealing not only allows for dynamic load balancing, but also determines which parts of the search tree are searched next. Thus the place from where work is stolen has a dramatic effect on(More)
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when two different search paths lead to identical remaining subproblems, that is the problem left on the remaining unfixed variables. Subproblem equivalence is exploited by caching(More)
Sonographic imaging of the fetal face is important since a number of chromosomal aberrations are associated with facial malformations. In the past, imaging of the fetal forehead and diagnosis of frontal bossing had been based on subjective evaluation using two-dimensional ultrasonography. The purpose of this study was to evaluate quantitatively the fetal(More)
Current SAT solvers are well engineered and highly efficient, and significant research effort has been put into creating data structures that can produce maximal efficiency for the core propagation engine within SAT solvers. However, there is still substantial room for improvement. As the disparity between CPU speeds and cache sizes have increased, cache(More)
We give a dynamic programming solution to the problem of scheduling scenes to minimize the cost of the talent. Starting from a basic dynamic program, we show a number of ways to improve the dynamic programming solution, by preprocess-ing and restricting the search. We show how by considering a bounded version of the problem, and determining lower and upper(More)
Lazy clause generation is a powerful approach to reducing search in constraint programming. This is achieved by recording sets of domain restrictions that previously led to failure as new clausal prop-agators. Symmetry breaking approaches are also powerful methods for reducing search by recognizing that parts of the search tree are symmetric and do not need(More)