2312 search results - page 91 / 463 » Invariance in Property Testing |
IEEEHPCS
2010
13 years 8 months ago
2010
An efficient method for face recognition which is robust under illumination variations is proposed. The proposed method achieves the illumination invariants based on the reflectan...
FORTE
2004
13 years 11 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
COMPGEOM
1987
ACM
14 years 1 months ago
1987
ACM
Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...
ISSRE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper an Iterative Learning Control (ILC) algorithm is proposed for a certain class of Linear Parameter Varying (LPV) systems whose dynamics change between iterations. ...