Sciweavers

1033 search results - page 125 / 207
» The Relative History Heuristic
Sort
View
CORR
2009
Springer
74views Education» more  CORR 2009»
14 years 9 months ago
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kul...
HCI
2009
14 years 9 months ago
A Harmonised Methodology towards Measuring Accessibility
This paper introduces the harmonized accessibility methodology (HAM) that has been defined and deployed in the context of the ACCESSIBLE project. HAM is aimed to harmonize existing...
Alexandros Mourouzis, Grammati-Eirini Kastori, Kon...
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
14 years 9 months ago
A Dynamic Network Interdiction Problem
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
Brian J. Lunday, Hanif D. Sherali
CEC
2010
IEEE
14 years 8 months ago
Evolved Bayesian Network models of rig operations in the gulf of Mexico
The operation of drilling rigs is highly expensive. It is therefore important to be able to identify and analyse variables affecting rig operations. We investigate the use of Genet...
François A. Fournier, John A. W. McCall, An...
TIFS
2010
120views more  TIFS 2010»
14 years 6 months ago
Quantitative Structural Steganalysis of Jsteg
Quantitative steganalysis strives to estimate the change rate defined as the relative number of embedding changes introduced by steganography. In this paper, we propose two new cla...
Jan Kodovský, Jessica J. Fridrich