In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting of concurrent EFSMs and a finite set of multi-rendezvous indications among their subsets, and propose a conversion algorithm from a subset of LOTOS. The derived synchronous EFSMs can be easily implemented as a synchrono...

We show that the order in which diierent-size-rounds of parallel queries to p i , i 1, are made never matters. This solves a problem left open by previous papers in that area HHH98a, BC]. Our results shed new light on the number-of-queries tradeoos between parallel, a mixture of parallel and sequential, and pure sequential access to p i oracles.

One of the unresolved problems faced in the construction of intelligent tutoring systems is the acquisition of background knowledge, either for the specification of the teaching strategy, or for the construction of the student model, identifying the deviations of students’ behavior. In this paper, we argue that the use of sequential pattern mining and constraint relaxations can be used to autom...

The fluctuations of the jamming coverage upon random sequential adsorption (RSA) are studied using both analytical and numerical techniques. Our main result shows that these fluctuations (characterized by sigma(thetaJ)) decay with the lattice size according to the power law sigma(thetaJ) proportional, variant L(-1/nu). The exponent nu depends on the dimensionality D of the substrate and the fra...

This paper examines proposals for decision making with Dempster-Shafer belief functions from the perspectives of requirements for decision under ignorance and sequential consistency. The focus is on the proposals by Jaffray & Wakker and Giang & Shenoy applied for partially consonant belief functions. We formalize the concept of sequential consistency of an evaluation model and prove results abo...

Being able to understand the financial market is very important for investors and, given the width and complexity of the topic, tools to support investor decisions are badly needed. In this paper we present Mercurio, a system that supports the decision-making process of financial investors through the automatic extraction and analysis of financial data coming from the Web. Mercurio formalizes t...

In this work, we study the problem of closed sequential pattern mining. We propose a novel approach which extends a frequent sequence with closed itemsets instead of single items. The motivation is that closed sequential patterns are composed of only closed itemsets. Hence, unnecessary item extensions which generates non-closed sequential patterns can be avoided. Experimental evaluation shows t...