2006 search results - page 106 / 402 » Heuristic Security-Testing Methods |
99
Voted
CRV
2007
IEEE
15 years 4 months ago
2007
IEEE
We examine the problem of finding a single meeting location for a group of heterogeneous autonomous mobile robots, such that the total system cost of traveling to the rendezvous i...
122
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...
74
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
We have developed an algorithm for reduction of search-space, called Domain Optimization Algorithm (DOA), applied to global optimization. This approach can efficiently eliminate ...
124
click to vote
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— Several heuristic methods have been suggested for improving the generalization capability in neural network learning, most of which are concerned with a single-objective (SO) l...
77
Voted
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
Support Vector Machines (SVMs) have successfully shown efficiencies in many areas such as text categorization. Although recommendation systems share many similarities with text ca...