Browsing Journal Articles by Issue Date

UTSePress Research/Manakin Repository

Search UTSePress Research

Advanced Search


My Account

Browsing Journal Articles by Issue Date

Sort by: Order: Results:

  • Xu, Y; Zhang, Chengqi (Springer-verlag Berlin, 1998)
    Generally, the disorders in a neural network diagnosis model are assumed independent each other. In this paper, we propose a neural network model for diagnostic problem solving where the disorder independence assumption ...
  • Debenham, John (Springer-verlag Berlin, 1998)
    A distributed intelligent agent-based system that manages workflows has been designed, built and trialed. This system manages the processing of applications received by a university department from potential research ...
  • Hintz, Thomas; Szewcow, Ury; He, Sean (Elsevier Science Bv, 1998)
    Edge detection in computer vision and image processing is a process which detects one kind of significant feature in an image that appears as discontinuities in intensities. A parallel edge detection algorithm based on ...
  • Sawhney, Anil; Abudayyeh, O; Monga, A (Elsevier Sci Ltd, 1999)
    This article outlines the utilization of Petri nets as a computerized process modeling and analysis tool for the study of the Edmonton Mail Processing Plant (MPP). Development of new systems or designing improvement in ...
  • Ying, Mingsheng (Elsevier Science Bv, 1999)
    We give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner's process calculus. (C) 1999-Elsevier Science B.V. All rights reserved.
  • Henderson-Sellers, Brian (Sigs Publications Inc, 1999)
    Modeling languages alone are not enough to build software. Developers really need a full process and a technically focused development model-both discussed in detail here.
  • Ying, Mingsheng (IEEE-Inst Electrical Electronics Engineers Inc, 1999)
    We propose the concepts of maximum and average perturbations of fuzzy sets and estimate maximum and average perturbation parameters for various methods of fuzzy reasoning.
  • Ying, Mingsheng (Kluwer Academic/Plenum Publ, 2000)
    We establish the pumping lemma in automata theory based on quantum logic under certain conditions on implication, and discuss the recognizability by the product and union of orthomodular lattice-valued (quantum) automata. ...
  • Ying, Mingsheng (Kluwer Academic/Plenum Publ, 2000)
    We present a basic Framework of automats theory based on quantum logic. In particular, we introduce the orthomodular lattice-valued (quantum) predicate of recognizability and establish some of its fundamental properties.
  • Biacino, L; Gerla, G; Ying, Mingsheng (Wiley-V C H Verlag Gmbh, 2000)
    The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composing two closure operators and that the ...
  • Ying, Mingsheng (Elsevier Science Bv, 2000)
    We introduce a new definition of weak confluences and show that they are equivalent to tau-inertness without any appealing to tau-well-foundedness. (C) 2000 Elsevier Science B.V. All rights reserved.
  • Cucchiara Rita; Prati Andrea; Piccardi Massimo (Springer, 2001)
  • Yeh, Wei-Chang (Academic Press Inc, 2001)
    The traditional min-cut problem involves finding a cut with minimum weight between two specified vertices. The planar multiway cut problem is a NP-hard generalization of the min-cut problem. It involves separating a ...
  • Ying, Mingsheng (Springer-Verlag Singapore Pte Ltd, 2001)
    We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial answer to a problem by Rosser and Turquette.
  • Ying, Mingsheng; Wirsing, Martin (Elsevier Science Bv, 2001)
    Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. and Comput. 116 (1995) 38) introduced context and higher-order bisimulations, respectively. ...
  • Zhang, Shengyu; Feng, Yuan; Sun, Xiaoming; Ying, Mingsheng (American Physical Soc, 2001)
    One strategy to the discrimination problem is to identify the state with certainty, leaving a possibility of undecidability. This paper gives an upper bound for the maximal success probability of unambiguous discrimination ...
  • Kirkpatrick, Denise; Mclaughlan, Robert (Rapid Intellect Group, 2001)
  • Kennedy, Paul; Osborn, Tom (Complex Systems Publications Inc., 2001)
    Gene expression and regulation may be viewed as a parallel parsing algorithm---translation from a genomic language to a phenotype. We describe a model of gene expression and regulation based on the operon model of Jacob ...
  • Anderson, Theresa (Department of Information Studies, University of Sheffield, 2001)
  • Lueg, Christopher (Institute for Media and Communications Management, University of St.Gallen, Switzerland, 2001)
    The importance of the Internet as an information exchange and communication medium has increased significantly over the past few years. Eriksson (1999) outlines that the daily lives of people are more and more affected ...