9325 search results - page 468 / 1865 » The decentralized implementability problem |
155
Voted
IJCAI
1993
15 years 8 months ago
1993
We introduce a new approach to GA (Genetic Algorithms) based problem solving. Earlier GAs did not contain local search (i.e. hill climbing) mechanisms, which led to optimization d...
185
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
167
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Over the last years, interest in hybrid metaheuristics has risen considerably in the field of optimization. Combinations of methods such as evolutionary algorithms and...
183
Voted
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
144
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Most existing structure-from-motion methods follow a common two-step scheme, where relative camera motions are estimated in the first step and 3D structure is computed afterward ...