Browsing 08 Information and Computing Sciences by Issue Date

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

  • UTSePress Research Home
  • >
  • 08 Information and Computing Sciences
  • >
  • Browsing 08 Information and Computing Sciences by Issue Date

Browsing 08 Information and Computing Sciences by Issue Date

Sort by: Order: Results:

  • Shoppers and Tailors: Participative Practices in Small Australian Design Companies 
    Robertson Toni (Springer, 1998)
    The focus of this paper is the relations between the work practices and technology needs of small Australian design companies and the discourses of Participatory Design. Because these companies use off-the-shelf technology, ...
  • A Neural Network Diagnosis Model Without Disorder Independence Assumption 
    Xu Richard; 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 ...
  • Compactness In Fuzzy Logic 
    Ying Mingsheng (Science Press, 1998)
    Compactness in Pavelka's fuzzy logic for some compact lattices of truth values is shown, and the concept of gradual compactness is introduced to establish some corresponding results in a more general setting.
  • Approximate Reasoning With Linguistic Modifiers 
    Ying Mingsheng; Bouchon-Meunier Bernadette (John Wiley & Sons Inc, 1998)
    We analyze the influence of some usual linguistic modifiers, such as scalar product, normalization, Bouchon-Meunier modifiers, perturbation, and (weakening and reinforcement) power, in the process of approximate reasoning ...
  • CLICK-IT: Interactive Television For Sports Action Replay 
    Rees David; Agbinya Johnson; Stone Nick; Chen Fu; Seneviratne Serath; De Burgh Mark; Burch A (IEEE, 1998)
    CLICK-IT (CSIRO Laboratory for Imaging by Content and Knowledge-Interactive Television) is a PC-based system which provides the user with an intelligent highlighter pen for sports action replay. It is intended as a truly ...
  • Modeling and analysis of a mail processing plant using Petri nets 
    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 ...
  • A Methodological Metamodel Of Process 
    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.
  • Perturbation Of Fuzzy Reasoning 
    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.
  • A Shorter Proof To Uniqueness Of Solutions Of Equations 
    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.
  • Worst-case performance of critical path type algorithms 
    Singh G.; Zinder Yakov (Australian Society for Operations Research, 2000)
    The critical path method remains one of the most popular approaches in practical scheduling. Being developed for the makespan problem this method can also be generalized to the maximum lateness problem. For the unit execution ...
  • Automata Theory Based On Quantum Logic Ii 
    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. ...
  • Approximate Reasoning Based On Similarity 
    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 ...
  • Automata Theory Based On Quantum Logic. (I) 
    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.
  • Weak Confluence And Tau-Inertness 
    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.
  • On context-aware artifacts and socially responsible design 
    Lueg Christopher (We-B Centre, School of Management Information Systems, Edith Cowan University, 2001)
    Context-aware artifacts are of particular interest to HCI researchers as the user's interaction with artifacts moves from rather static desktops to less well-structured environments. Most work in developing such artifacts ...
  • Why is RE for Web-Based Software Development Easier ? 
    Zowghi Didar; Gervasi Vincenzo (Essener Informatik Beitrage, 2001)
    In this paper we identify the fundamental differences between webbased and conventional software engineering. We expess our views about why we think requirements engineering for web-based application development should be ...
  • An Integrative Framework for Knowledge Extraction in Collaborative Virtual Environments 
    Biuk-Aghai Robert; Simoff Simeon (Association for Computing Machinery, 2001)
    Collaborative virtual environments are becoming an intrinsic part of professional practices. In addition to providing collaboration support, they have the potential to collect vast amounts of data about collaborative ...
  • A Survey of Practices & Problems associated with incomplete user requirements document 
    Al-Ani Ban (Centre for Advanced SE Research, 2001)
    Incompleteness is one of the inherent problems of system requirements represented through informal notations (natural language, diagrams, pictures ...etc) and captured in the User Requirement Document (URD). These ...
  • An adaptive model for optimizing performance of an incremental web crawler 
    Edwards Jennifer; Mccurley Kevin; Tomlin John (Association for Computing Machinery, 2001)
  • Evaluating pollutsim: Computer supported Roleplay-Simulation 
    Kirkpatrick Denise; Mclaughlan Robert (Rapid Intellect Group, 2001)