Abstract text

One embodiment of the present invention provides a system that uses a computer to evaluate a function within a domain using an interval computing technique. During operation, the system receives the function and the domain over which the function is to be evaluated. Next, the system creates a set of sampling subdomains within the domain by generating a set of boxes of different sizes which are located at different positions across the domain. The system then performs evaluations on the set of sampling subdomains to generate evaluation results. Next, the system sorts the evaluation results based on box size. The system then selects a box size from the different box sizes by identifying a largest box size which achieves tight bounds on the evaluation results. The system next discretizes the domain into subdomains of the selected box size. Finally, the system uses the interval computing technique to evaluate the function on each of the subdomains wherein the interval computing technique recursively subdivides and evaluates the function on the subdomains.