Drawbacks of the traditional scenario of image modeling by Gibbs random fields with multiple pairwise pixel interactions are outlined, and a more reasonable alternative scenario b...
— Physical carrier sense for wireless multihop networks has attracted a certain degree of attention since it is a simple yet important mechanism for distributed channel access. S...
In this paper, we present an alternate approach to estimate the parameters of a Markov random field (MRF) model for images using the concepts of homotopy continuation method. We a...
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
Rapid business changes require companies to make rapid changes in business processes and ultimately in BPS systems. These changes can be done rapidly if business modelers understan...
Pavel Balabko, Alain Wegmann, Alain Ruppen, Nicola...