Given a model family and a set of unlabeled examples, one could either label specific examples or state general constraints--both provide information about the desired model. In g...
A number of recent systems for unsupervised featurebased learning of object models take advantage of cooccurrence: broadly, they search for clusters of discriminative features tha...
Autonomous robots, such as robot office couriers, need navigation routines that support flexible task execution and effective action planning. This paper describes XFRMLEARN, a s...
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
Background: The application of machine learning to classification problems that depend only on positive examples is gaining attention in the computational biology community. We an...
Malik Yousef, Segun Jung, Louise C. Showe, Michael...