Sciweavers

774 search results - page 42 / 155
» Markov incremental constructions
Sort
View
PEPM
2009
ACM
14 years 6 months ago
Self-adjusting computation: (an overview)
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
Umut A. Acar
AMAI
2004
Springer
14 years 2 months ago
Approximate Probabilistic Constraints and Risk-Sensitive Optimization Criteria in Markov Decision Processes
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...
Dmitri A. Dolgov, Edmund H. Durfee
ICSE
2000
IEEE-ACM
14 years 19 days ago
An inheritance-based technique for building simulation proofs incrementally
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...
ICML
2005
IEEE
14 years 9 months ago
Learning hierarchical multi-category text classification models
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...
ICDAR
2007
IEEE
14 years 3 months ago
Combining On-Line and Off-Line Systems for Handwriting Recognition
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...
Marcus Liwicki, Horst Bunke