We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
In this paper, we consider a decision-maker who tries to learn the distribution of outcomes from previously observed cases. For each observed database of cases the decision-maker ...
Large scale multi-agent systems (MASs) in unpredictable environments must use machine learning techniques to perform their goals and improve the performance of the system. This pap...
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
J. Edward Swan II, Marco Lanzagorta, Doug Maxwell,...