To date no technique for validating crowd control models has been proposed. Usually subject matter experts “look at” the simulations and decide if what they are observing “appears” reasonable or not. One reason for this has been inability to gather quantitative data from either actual crowd footage or simulations of crowds. Since this problem is being solved by Kaup et al, it now becomes possib...

In the multi-agent supply chain of manufacturing enterprise, there is the problem that purchasing agent need negotiate with supplier agent about price. Based on analyzing the multi-agent collaborative framework, this paper presents a price-negotiating model, and discusses the negotiating tactics and steps between purchasing agent and supplies agent. And then an example is discussed for validati...

In the operation of manufacturing enterprise supply chain, there are lots conflicts and differences between node enterprises because different demands on price, quality, cost, other factors. These can be effectively solved by negotiation. this paper, authors will abstract entities in chain as agents, present a negotiation mode, then discuss tactics procedures purchasing agent supplier agent. Ne...

In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstracting and validating structured communication sequences (sessions). In this paper we propose union types for refining and enhancing the flexibility of session types in the context of communication centred and object ...

This paper investigates two feature-scoring criteria that make use of estimated class probabilities: one method proposed by Shen et al. (2008) and a complementary approach proposed below. We develop a theoretical framework to analyze each criterion and show that both estimate the spread (across all values of a given feature) of the probability that an example belongs to the positive class. Base...