Search results for "Automatic result verification"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	R. Baker Kearfott	Interval Analysis: Unconstrained and Constrained Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Analysis: Verifying Feasibility.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Fixed Point Theory.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Fixed point iteration
1	R. Baker Kearfott	Interval Newton Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Nonlinear system of equations
1	Carsten Binnig, Donald Kossmann, Eric Lo, Angel Saenz-Badillos	Automatic Result Verification for the Functional Testing of a Query Language.	ICDE	2008	DBLP DOI BibTeX RDF
1	Chin-Yun Chen	Bivariate Product Cubature Using Peano Kernels for Local Error Estimates.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Adaptive cubature, Tensor product rules, Optimal error estimates, Peano kernels, Interval computation
1	Edgar F. A. Lederer, Romeo A. Dumitrescu	Automatic Result Verification by Complete Run-Time Checking of Computations.	Int. J. Found. Comput. Sci.	2001	DBLP BibTeX RDF
1	Ulrike Storck	An Adaptive Numerical Integration Algorithm with Automatic Result Verification for Definite Integrals.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 41A55, 65G10, 65D32

Displaying result #1 - #8 of 8 (100 per page; Change: )