Sciweavers

1018 search results - page 36 / 204
» Property Testing in Computational Geometry
Sort
View
SMA
2005
ACM
125views Solid Modeling» more  SMA 2005»
14 years 4 months ago
Multi-representation interaction for physically based modeling
For simulations involving complex objects, a number of different properties must be represented. An example of this is in modeling an object undergoing combustion—heat amounts,...
Zeki Melek, John Keyser
DATE
2005
IEEE
96views Hardware» more  DATE 2005»
14 years 4 months ago
Structural Testing Based on Minimum Kernels
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
Elena Dubrova
IMAGING
2003
14 years 10 days ago
Spectral Imaging of Matisse's Pot of Geraniums: A Case Study
The accuracy of color image-acquisition systems is most often evaluated using test targets of uniform color patches imaged under optimal conditions. In artwork imaging, system per...
Roy S. Berns, Lawrence A. Taplin, Francisco H. Ima...
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 10 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
ICS
2010
Tsinghua U.
14 years 8 months ago
Space-Efficient Estimation of Robust Statistics and Distribution Testing
: The generic problem of estimation and inference given a sequence of i.i.d. samples has been extensively studied in the statistics, property testing, and learning communities. A n...
Steve Chien, Katrina Ligett, Andrew McGregor