Two algorithms based upon a tree-cotree decomposition, called in this paper spanning tree technique (STT) and generalized spanning tree technique (GSTT), have been shown to be usef...
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
Given an image, we propose a hierarchical generative
model that classifies the overall scene, recognizes and segments
each object component, as well as annotates the image
with ...
Most object recognition systems require large databases of real images for classifier training. To collect real images for this purpose is a difficult and expensive process. This ...
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...