1727 search results - page 184 / 346 » A Technique for Large Automated Mechanism Design Problems |
197
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
185
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
145
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Improving data quality is a time-consuming, labor-intensive and often domain specific operation. Existing data repair approaches are either fully automated or not efficient in int...
172
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This work describes a forward-looking approach for the solution of dynamic (time-changing) problems using evolutionary algorithms. The main idea of the proposed method is to combi...
171
click to vote
CAEPIA
2007
Springer
16 years 20 days ago
2007
Springer
Consider a robot whose task is to pick up some colored balls from a grid, taking the red balls to a red spot, the blue balls to a blue spot and so on, one by one, without knowing e...