Sciweavers

509 search results - page 4 / 102
» Standardization and Testing of Mathematical Functions
Sort
View
MKM
2005
Springer
14 years 4 months ago
Translating Mathematical Vernacular into Knowledge Repositories
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
Adam Grabowski, Christoph Schwarzweller
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
14 years 5 months ago
Using automated search to generate test data for matlab
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
Sion Ll Rhys, Simon M. Poulding, John A. Clark
DAGSTUHL
2006
14 years 17 days ago
A Proposal to add Interval Arithmetic to the C++ Standard Library
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...
Sylvain Pion, Hervé Brönnimann, Guilla...
TMI
1998
181views more  TMI 1998»
13 years 10 months ago
Image Contrast Enhancement Based on a Histogram Transformation of Local Standard Deviation
Abstract— The adaptive contrast enhancement (ACE) algorithm, which uses contrast gains (CG’s) to adjust the highfrequency components of images, is a well-known technique for me...
Dah-Chung Chang, Wen-Rong Wu
VTS
2006
IEEE
108views Hardware» more  VTS 2006»
14 years 5 months ago
Bridging the Accuracy of Functional and Machine-Learning-Based Mixed-Signal Testing
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris