Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexand...
We present a kernel-based algorithm for hierarchical text classification where the documents are allowed to belong to more than one category at a time. The classification model is...
Craig Saunders, John Shawe-Taylor, Juho Rousu, S&a...
In this paper we present a new multiple classifier system (MCS) for recognizing notes written on a whiteboard. This MCS combines one off-line and two on-line handwriting recognit...