Browsing Journal Articles by Title

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing Journal Articles by Title

Sort by: Order: Results:

  • Cao, Longbing; Zhao, Yanchang; Zhang, Huaifeng; Luo, Dan; Zhang, Chengqi; Park, Ek (IEEE Computer Soc, 2010)
    Most data mining algorithms and tools stop at the mining and delivery of patterns satisfying expected technical interestingness. There are often many patterns mined but business people either are not interested in them or ...
  • Nie, Feiping; Xu, Dong; Tsang, Ivor; Zhang, Changshui (IEEE-Inst Electrical Electronics Engineers Inc, 2010)
  • Chen, Jinjun; Yang, Yun (Elsevier, 2005)
    To verify fixed-time constraints in grid workflow systems, the consistency and inconsistency conditions have been defined in the conventional work. However, in this paper, we argue that although the conventional consistency ...
  • Ying, Mingsheng; Feng, Yuan (IEEE Computer Soc, 2011)
    Several high-level quantum programming languages have been proposed in the previous research. In this paper, we define a low-level flowchart language for quantum programming, which can be used in implementation of high-level ...
  • Ying, Mingsheng (Association for Computing Machinery, Inc, 2011)
    Floyd-Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum ...
  • Li, Sanjiang; Luo, Maokang (Elsevier Science Bv, 2003)
    In this paper, we show that there are exactly c different simultaneously bireffective and bicoreflective subconstructs of FNS, in fact there exists a one-to-one correspondence between those subconstructs of FNS and open ...
  • Dong, H; Hussain, Farookh (IEEE-Inst Electrical Electronics Engineers Inc, 2011)
    Digital Ecosystems make use of Service Factories for service entities' publishing, classification, and management. However, before the emergence of Digital Ecosystems, there existed ubiquitous and heterogeneous service ...
  • Henderson-Sellers Brian; Le Parc-Lacayrelle Annig; Barbier Franck; Bruel Jm (Institute of Electrical and Electronics Engineers, 2003)
    A formal definition for the semantics of the Whole-Part relationship in the Unified Modeling Language or UML is introduced. This provides a fully directly usable specification which that can be incorporated into version ...
  • Ying, Mingsheng (IEEE-Inst Electrical Electronics Engineers Inc, 2002)
    Classical automata are formal models of computing with values. Fuzzy automata are generalizations of classical automata where the knowledge about the system's next state is vague or uncertain. It is worth noting that like ...
  • Anderson, Brian; Shames, Ian; Mao, Guoqiang; Fidan, Baris (Society for Industrial and Applied Mathematics, 2010)
    Graph theory has been used to characterize the solvability of the sensor network localization problem. If sensors correspond to vertices and edges correspond to sensor pairs between which the distance is known, a significant ...
  • Zhang, Guangquan; Lu, Jie; Wu, Yonghong (Nova Publishers, 2003)
    This paper concerns the solution of fuzzy linear programming problems (FLP) with fuzzy numbers in coefficients of objective functions and constraints. For constraints given by n equations / inequalities involving fuzzy ...
  • Debenham, John (Springer-Verlag Berlin, 2005)
    Business relationships, and the sense of trust that they embody, provides an environment in which trade may be conducted with confidence. Trading involves the maintenance of effective relationships, and refers to the process ...
  • Yu, Ying Hao; Vo-Ky, Chau; Kodagoda, Sarath; Ha, Quang (Fuji Technology Press Ltd, 2010)
    Distance measurement methodologies based on the digital camera usually require time-consuming calibration procedures, some are even derived from complicated image processing algorithms resulting in low picture frame rates. ...
  • Hintz, Thomas; Wu, Qiang; He, Sean; Wang, Harry (Multi-Science Publishing Co. Ltd, 2008)
    Fractal image compression (FIC) is a relatively recent image compression method. Its basic idea is to represent images as a fixed point of a contractive Iterated Function System (IFS). Spiral Architecture (SA) is a novel ...
  • Steele, Robert; Gardner, William; Chandra, Darius; Dillon, Tharam (Inderscience, 2007)
    Security of personal medical information has always been a challenge for the advancement of Electronic Health Records (EHRs) initiatives. eXtensible Markup Language (XML), is rapidly becoming the key standard for data ...
  • Zhang, Peng; Gao, Byron; Liu, Ping; Shi, Yong; Guo, Li (Elsevier, 2012)
    Data stream classification has drawn increasing attention from the data mining community in recent years. Relevant applications include network traffic monitoring, sensor network data analysis, Web click stream mining, ...
  • Kosman, Katherine; Talaei-Khoei, Amir; Ghapanchi, Amir; Ray, Pradeep (Inderscience, 2012)
    Clinical trials are big business, incorporating information from many participants and situations and creating challenges in the acquisition, storage, and sharing of information amongst healthcare researchers. As institutions ...
  • Niazi, Mahmood; Wilson, David; Zowghi, Didar (Elsevier Science Inc, 2005)
    A number of advances have been made in the development of software process improvement (SPI) standards and models, e.g. Capability Maturity Model (CMM), more recently CMMI, and ISO's SPICE. However, these advances have not ...
  • Talaei-Khoei, Amir; Ray, Pradeep; Parameshwaran, Nandan; Lewis, Lundy (Elsevier, 2012)
    This paper presents a systematic literature review to gain insight into the growing area of awareness maintenance. A systematic review of papers from 1970 to 2010 examines the background and trends of research in this area. ...
  • Dong, Hai; Hussain, Farookh; Chang, Elizabeth (Academic Press Inc Elsevier Science, 2011)
    A digital ecosystem is a widespread type of ubiquitous computing environment comprised of ubiquitous, geographically dispersed, and heterogeneous species, technologies and services. As a subdomain of the digital ecosystems, ...