Firewalls are key security components in computer networks. They filter network traffics based on an ordered list of filtering rules. Firewall configurations must be correct and complete with respect to security policies. Security policy is a set of predicates, which is a high level description of traffic controls. In this paper, we propose an automatic method to verify the correctness of firew...

Recent research in hybrid optimization shows that a combination of technologies that exploits their complementary strengths can significantly speed up computation. The use of high-level metaconstraints in the problem formulation can achieve a substantial share of these computational gains by better communicating problem structure to the solver. During the solution process, however, metaconstrai...

We present the first step towards a constraint-based syntax-semantics interface for Topological Dependency Grammar (TDG) (Duchier and Debusmann, 2001). We extend TDG with a new level of representation called semantic dependency dag to capture the deep semantic dependencies and clearly separate this level from the syntactic dependency tree. We stipulate an emancipation mechanism between these le...

In this paper, we present a new method of representing the Surface syntactic structure of a sentence. Trees have usually been used in linguistics and natural language processing to represent syntactic structures of a sentence. A tree structure shows only one possible syntactic parse of a sentence, but in order to choose a correct parse, we need to examine all possible tree structures one by one...

An overview or glance is important in planning the reading process. Such a high-level view is not possible for a blind person when reading by listening. This paper describes the soniication of algebra notation to provide an audio glance to facilitate planning prior to reading. Prosodic cues used in spoken algebra were combined with pre-existing guidelines for earcon design to produce a high-lev...

A proposal is presented for the representation of pragmatic information and for its use in decisions relating to syntactic choice. A \split discourse model" is used to represent information from the context of a discourse, and this representation is then related to the level of syntactic choice by means of \low level illocutionary acts". The alternative syntactic constructions are assumed to fo...

This study investigates the effect of pitch range reset in Korean listeners’ processing of syntactically ambiguous participle structures. Unlike Japanese and English,in Korean, the downtrend or the reset of pitch range does not consistently differentiate Accentual Phrases (AP), a lower level of phrasing, from Intonational Phrases (IP), a higher level of phrasing. Therefore, we explore Korean li...

Within a formal framework, where each object is characterized by a set of predicates as a binary sequence of 0 and 1, a nominal level of measurement is discussed. The nominal scale is reinterpreted as a set of predicates, and nominal measurement as an assignment of binary sequences to the objects. One remarkable character of this formalization is a reciprocal relationship between the objects an...

Our work addresses the automatic detection of paraphrastic reformulation in French spoken corpora. The proposed approach is syntagmatic. It is based on specific markers and the specificities of the spoken language. Manual multi-dimensional annotation performed by two annotators provides fine-grained reference data. An automatic method is proposed in order to decide whether sentences contain or ...