this paper presents an approach which integrates two formal verification techniques, model checking and the Event-B method in a way that makes it possible to benefit from the advantages of both methods in the design f...
详细信息
We explore the task of automatically classifying dialogue acts in 1-on-1 online chat forums, an increasingly popular means of providing customer service. In particular, we investigate the effectiveness of various feat...
Code Dissemination of a sensor network is useful for uploading a new code or for changing the functionality of the existing code. Code Dissemination may be done multiple times during a node's lifetime and therefor...
详细信息
This paper describes a method for detecting event trigger words in biomedical text based on a word sense disambiguation (WSD) approach. We first investigate the applicability of existing WSD techniques to trigger word...
详细信息
We proposed a precoded in-band pilots design for OFDM signal (PIP-OFDM) in [1]. With the special design, user identification in cognitive network is easily achieved by demodulating unknown information on identificatio...
详细信息
This paper examines the role of social networks and artefacts in technology appropriation in an educational environment. We use a qualitative research method to illustrate that social networks and accompanying artefac...
详细信息
SIP (Session Initiation Protocol) has been widely adopted as a signaling protocol to establish, modify and terminate multimedia sessions between end-users in the Internet. SIP introduces a retransmission mechanism to ...
详细信息
ISBN:
(纸本)9781565553415
SIP (Session Initiation Protocol) has been widely adopted as a signaling protocol to establish, modify and terminate multimedia sessions between end-users in the Internet. SIP introduces a retransmission mechanism to ensure the reliability of its real-time message delivery. However, retransmission makes server overload worse, as indicated by the recent server crashes in the real carrier networks. In this paper, we use a discrete time model to describe the queuing dynamics of an overloaded SIP server with the retransmission mechanism. We then derive a sufficient stability condition that a SIP server can handle the overload effectively under the retransmission mechanism. Discrete time model allows us to run fluid-based Matlab simulation directly to evaluate the overload performance. This approach is much simpler than event-driven simulation. Event-driven OPNET simulation was also conducted to observe the transient behaviour of an overloaded server in a SIP network. Our simulation results demonstrate that: (1) The sufficient stability bound is quite tight. The bound indicates that effective CPU utilization as low as 20% can still lead to an unstable system after a short period of demand burst or a temporary server slowdown. Resource overprovisioning is not a viable solution to the server crash problem;(2) By satisfying the stability condition, the initial queue size introduced by a transient overload can avoid a system crash. Such stability condition can help the operator to determine whether and when to activate overload control mechanism in case of heavy load.
This paper presents the novel task of best topic word selection, that is the selection of the topic word that is the best label for a given topic, as a means of enhancing the interpretation and visualisation of topic ...
This paper presents the novel task of best topic word selection, that is the selection of the topic word that is the best label for a given topic, as a means of enhancing the interpretation and visualisation of topic models. We propose a number of features intended to capture the best topic word, and show that, in combination as inputs to a reranking model, we are able to consistently achieve results above the baseline of simply selecting the highest-ranked topic word. This is the case both when training in-domain over other labelled topics for that topic model, and cross-domain, using only labellings from independent topic models learned over document collections from different domains and genres.
We present PlayGo, a comprehensive tool for scenario-based programming, built around the language of live sequence charts and the play-in/play-out approach [7], which includes a compiler into AspectJ code and means fo...
详细信息
This paper represents a modified algorithm to recover the control points of 3rd order Bezier curves more efficiently. It uses the two stage approximation learning algorithm with some modifications. In this regards, at...
详细信息
暂无评论