183 search results - page 12 / 37 » Exploiting Symmetries to Test Programs |
CONSTRAINTS
2006
13 years 8 months ago
2006
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...
CCS
2007
ACM
14 years 18 days ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
Optimizing the hypervolume indicator within evolutionary multiobjective optimizers has become popular in the last years. Recently, the indicator has been generalized to the weight...
FGR
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, a geometric method for estimating the face pose (roll and yaw angles) from a single uncalibrated view is presented. The symmetric structure of the human face is exp...
CAD
2005
Springer
13 years 8 months ago
2005
Springer
We introduce a new approach to the problem of collision detection in multi-axis NC-machining. Due to the directional nature (tool axis) of multi-axis NCmachining, space subdivisio...