Sciweavers

6693 search results - page 988 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
140
Voted
GECCO
2006
Springer
124views Optimization» more  GECCO 2006»
15 years 7 months ago
On evolving buffer overflow attacks using genetic programming
In this work, we employed genetic programming to evolve a "white hat" attacker; that is to say, we evolve variants of an attack with the objective of providing better de...
Hilmi Günes Kayacik, Malcolm I. Heywood, A. N...
147
Voted
FMCAD
2000
Springer
15 years 7 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
131
Voted
ANTSW
2008
Springer
15 years 6 months ago
Molecular Structure Elucidation Using Ant Colony Optimization: A Preliminary Study
Abstract. Identifying the structure of unknown molecules is an important activity in the pharmaceutical industry where it underpins the production of new drugs and the analysis of ...
Caroline Farrelly, Douglas B. Kell, Joshua D. Know...
AAAI
2010
15 years 5 months ago
Assisting Users with Clustering Tasks by Combining Metric Learning and Classification
Interactive clustering refers to situations in which a human labeler is willing to assist a learning algorithm in automatically clustering items. We present a related but somewhat...
Sumit Basu, Danyel Fisher, Steven M. Drucker, Hao ...
116
Voted
NAACL
2007
15 years 5 months ago
Combining Probability-Based Rankers for Action-Item Detection
This paper studies methods that automatically detect action-items in e-mail, an important category for assisting users in identifying new tasks, tracking ongoing ones, and searchi...
Paul N. Bennett, Jaime G. Carbonell