In a formalism of top-down design, we consider the decomposition of behavioral specications into interacting sequential components. The higher level of description speci es the operations to be performed in a major computation step. The goal is to incorporate a given interface speci cation in a lower-level speci cation that accounts for interactions with and among sequential components. This co...

This paper provides a formal speci®cation in Z of a new intelligent hypertext model called the soft-link hypertext model (SLHM). This model has been implemented and extensively tested, and provides a new methodology for constructing the future generation of information retrieval systems. SLHM has the following three major advantages. First, it is automatically formulated. Second, powerful neura...

This paper presents a new model, which is named Timed Communicating State Machine (TCSM), for specifying protocols that incorporate timed properties as part of their speci cations. The TCSM model is similar to the Extended Communicating Finite State Machine (ECFSM) model. The major extension is providing an additional mechanism, i.e., a time interval attribute, for describing the timed properti...

Our contribution addresses the identi cation of multiple convolutive FIR channels. Many recently proposed blind techniques su er from the imperfect knowledge of the channel order. Meanwhile the major part of the existing communication systems requires periodically transmitted reference sequences known at the reception site. This information can be used to ensure the robustness the existing blin...

Veri cation for Hand Sign Recognition Yuntao Cui and John J. Weng Department of Computer Science Michigan State University East Lansing, MI 48824, USA E-mail: fcui,[email protected] Abstract This paper presents a prediction-and-veri cation segmentation scheme using attention images from multiple xations. A major advantage of this scheme is that it can handle a large number of di erent deformabl...

Neisseria meningitidis is a major causative agent of bacterial septicemia and meningitis in humans. Currently, there are no vaccines to prevent disease caused by strains of N.meningitidis serogroup B. The Class 1 Outer Membrane Protein (OMP) has been named porA which is a cation selective transmembrane protein of 45 KDa that forms trimeric pore in the meningococcal outer membrane. PorA from ser...

In the title hydrated salt, C19H25N2(+)·I(-)·H2O, the 4-(diethyl-amino)-phenyl unit of the cation is disordered over two positions in a 0.847 (3):0.153 (3) ratio. The cation is twisted, with dihedral angles between the pyridinium and benzene rings of 11.25 (13) and 10.7 (8)° for the major and minor components, respectively. In the crystal, the three components are linked into a centrosymmetric ...

The explicit use of partial di erential equations (PDE's) in image processing became a major topic of study in the last years. In this work we present an algorithm for histogram modi cation via PDE's. We show that the histogram can be modi ed to achieve any given distribution. The modi cation can be performed while simultaneously reducing noise. This avoids the noise sharpening e ect in classic...

The crystal structure of the title compound, [Fe(C(5)H(5))(CH(3)CN)(CO)(2)]BF(4), of which only the coordinates of the non-H atoms of the cation have previously been reported [Fadel et al. (1979 ▶). Z. Anorg. Allg. Chem.453, 98-106] has been redetermined. The Fe(II) atom in the complex cation is coordinated by a cyclo-penta-dienyl ring, two carbonyl ligands and an acetonitrile mol-ecule display...