Sciweavers

423 search results - page 25 / 85
» Multi-objective Model Checking of Markov Decision Processes
Sort
View
ICIP
2008
IEEE
15 years 9 months ago
MAP-MRF approach for binarization of degraded document image
We propose an algorithm for the binarization of document images degraded by uneven light distribution, based on the Markov Random Field modeling with Maximum A Posteriori probabil...
Jung Gap Kuk, Nam Ik Cho, Kyoung Mu Lee
114
Voted
MKWI
2008
112views Business» more  MKWI 2008»
15 years 4 months ago
A Framework for Querying in Business Process Modelling
: In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chai...
Ivan Markovic, Alessandro Costa Pereira, Nenad Sto...
SOCIALCOM
2010
15 years 1 months ago
A Decision Theoretic Approach to Data Leakage Prevention
Abstract--In both the commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information. In this paper we address the threat of infor...
Janusz Marecki, Mudhakar Srivatsa, Pradeep Varakan...
IFIP13
2004
15 years 4 months ago
Analysing Dynamic Function Scheduling Decisions
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
Karsten Loer, Michael Hildebrandt, Michael D. Harr...
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
15 years 9 months ago
A formal framework for robot learning and control under model uncertainty
— While the Partially Observable Markov Decision Process (POMDP) provides a formal framework for the problem of robot control under uncertainty, it typically assumes a known and ...
Robin Jaulmes, Joelle Pineau, Doina Precup