2006 search results - page 153 / 402 » Heuristic Security-Testing Methods |
109
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
70
Voted
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
104
click to vote
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— A novel method to extract the efficient model for Metal-Oxide-Semiconductor (MOS) transistors in order to satisfy a specific accuracy is presented. The approach presented here ...
101
Voted
MSWIM
2005
ACM
15 years 6 months ago
2005
ACM
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...
90
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Several inverse problems exist in the atmospheric sciences that are computationally costly when using traditional gradient based methods. Unfortunately, many standard evolutionary ...