Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-9 of 9 (Search time: 0.004 seconds).
  • previous
  • 1
  • next
Item hits:
PreviewIssue DateTitleAuthor(s)
2015Improving test coverage of formal verification systems via beam searchBokhari, M.; Wagner, M.; Silva, S.; Esparcia-Alcázar, A.I.; Annual Conference on Genetic and Evolutionary Computation (GECCO Companion) (11 Jul 2015 - 15 Jul 2015 : Madrid, Spain)
2015On evolutionary approaches to wind turbine placement with geo-constraintsLückehe, D.; Wagner, M.; Kramer, O.; Silva, S.; Annual Conference on Genetic and Evolutionary Computation (GECCO) (11 Jul 2015 - 15 Jul 2015 : Madrid, Spain)
2015Approximate approaches to the traveling thief problemFaulkner, H.; Polyakovskiy, S.; Schultz, T.; Wagner, M.; Silva, S.; 2015 Annual Conference on Genetic and Evolutionary Computation (GECCO '15) (11 Jul 2015 - 15 Jul 2015 : Madrid, Spain)
2015A multimedia data visualization based on Ad Hoc communication networks and its application to disaster managementKawamura, Y.; Wagner, M.; Jang, H.; Nobuhara, H.; Shibuya, T.; Kitahara, I.; Dewan, A.; Veenendaal, B.
2015An improved beam-search for the test case generation for formal verification systemsBokhari, M.; Bormer, T.; Wagner, M.; Barros, M.; Labiche, Y.; International Symposium on Search Based Software Engineering (SSBSE) (5 Sep 2015 - 7 Sep 2015 : Bergamo, Italy)
2015Efficient optimization of many objectives by approximation-guided evolutionWagner, M.; Bringmann, K.; Friedrich, T.; Neumann, F.
2015Analyzing the effects of instance features and algorithm parameters for max-min ant system and the traveling salesperson problemNallaperuma, S.; Wagner, M.; Neumann, F.
2015On the performance of different genetic programming approaches for the SORTING problemWagner, M.; Neumann, F.; Urli, T.
2015Seeding the initial population of multi-objective evolutionary algorithms: A computational studyFriedrich, T.; Wagner, M.