Browsing 08 Information and Computing Sciences by Title

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

  • >
  • >

Browsing 08 Information and Computing Sciences by Title

Sort by: Order: Results:

  • Yu, Nengkun; Ying, Mingsheng (Sringer-Verlag, 2012)
    We introduce a Markov chain model of concurrent quantum programs. This model is a quantum generalization of Hart, Sharir and Pnueli?s probabilistic concurrent programs. Some characterizations of the reachable space, uniformly ...
  • Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng (Springer, 2013)
    This paper studies three kinds of long-term behaviour, namely reachability, repeated reachability and persistence, of quantum Markov chains (qMCs). As a stepping-stone, we introduce the notion of bottom strongly connected ...
  • Shen, Yuzhong; Seevinck, Jennifer; Baydogan, Emre (IOS Press, 2006)
    Wound debridement refers to the removal of necrotic, devitalized, or contaminated tissue and/or foreign material to promote wound healing. Surgical debridement uses sharp instruments to cut dead tissue from a wound and it ...
  • Harbinson, Dirk; Balsys, Ronald; Suffern, Kevin (IEEE Computer Society, 2008)
  • Bogdanovych, Anton; Stanton, Christopher; Wang, Xun; Williams, Mary-Anne (Springer, 2012)
    The ambitious goal being pursued by researchers participating in the RoboCup challenge [8] is to develop a team of autonomous humanoid robots that is capable of winning against a team of human soccer players. An important ...
  • Zhang, Huaifeng; Jia, Wenjing; Wu, Qiang; He, Sean (Springer, 2006)
    This paper proposes an algorithm for real-time license plate detection. In this algorithm, the relatively easy car plate features are adopted including the simple statistical feature and Harr-like feature. The simplicity ...
  • Evans, Rob; Li, Li; Mareels, Iven; Okello, Nn; Pham, Minh; Qiu, Wanzhi; Saleem, S (IFAC, 2011)
    River basins are key components of water supply grids. River basin operators must handle a complex set of objectives including runoff storage, flood control, supply for consumptive use, hydroelectric power generation, ...
  • Mao, Guoqiang; Liu, Huabing (John Wiley & Sons, Ltd., 2007)
    Real time variable bit rate (VBR) video traffic prediction plays an important role in dynamic bandwidth allocation schemes by providing an accurate estimation of the instantaneous bandwidth requirement of VBR video traffic ...
  • Abolhasan, Mehran; Hagelstein, Brett (IEEE APCC Wireless Communication Systems (IEEE APCC), 2009)
    The proliferation of mesh or ad hoc network protocols has lead to a push for protocol standardisation. While there are a number of both open-source and proprietary mesh routing protocols being developed, there is only a ...
  • Ying, Mingsheng (Elsevier Science Bv, 1992)
    NA
  • Liu, Weiming; Zhang, Xiaotong; Li, Sanjiang; Ying, Mingsheng (Elsevier Inc, 2010)
    Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a relation model, known as the cardinal direction calculus (CDC), for representing direction ...
  • Liu, Weiming; Li, Sanjiang (Elsevier Inc, 2011)
    Weiming Liu, Sanjiang Li.Reasoning about Cardinal Directions between Extended Objects: The NP-Hardness Result. Artificial Intelligence, 2011, 175(18): 2155-2169.
  • Gervasi, Vincenzo; Zowghi, Didar (Assoc Computing Machinery, 2005)
    The use of logic in identifying and analyzing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a theoretically well-founded formalism ...
  • Ying, Mingsheng (Springer-Verlag, 2003)
    We introduce a notion of strong monotonicity of probabilistic predicate transformers. This notion enables us to establish a normal form theorem for monotone probabilistic predicate transformers. Three other healthiness ...
  • Chaczko, Zenon; Resconi, G. (Versita, 2011)
    The immune system of the vertebrates possess the capabilities of 'intelligent' information processing, which include memory, the ability to learn, to recognize, and to make decisions with respect to unknown situations. The ...
  • Luo, Chao; Zhao, Yanchang; Luo, Dan; Ou, Yuming; Liu, Li (IGI Global, 2010)
    This chapter aims to provide a comprehensive survey of the current advanced technologies of exception mining in stock market. The stock market surveillance is to identify market anomalies so as to provide a fair and efficient ...
  • Zeng, Chao; Jia, Wenjing; He, Sean; Xu, Min (IGI Global, 2013)
    Image segmentation techniques using graph theory has become a thriving research area in computer vision community in recent years. This chapter mainly focuses on the most up-to-date research achievements in graph-based ...
  • Najaftorkaman, Mohammadreza; Ghapanchi, Amir; Talaei-Khoei, Amir; Ray, Pradeep (Atlantis Press, 2013)
    This study undertook a literature survey to provide a taxonomy that represents research areas of Electronic Medical Record (EMR). We identified the following areas of research and classified them into eight main categories: ...
  • Damian, Daniela; Zowghi, Didar (Springer, 2003)
  • Agbinya, Johnson; Lee, Vivian; Aboura, Khalid; Chaczko, Zenon (BroadBandCom '09, 2009)
    Radio frequency spectrum mapping allows determining the radio frequency signatures prevalent within an environment. We address the primary frequency bands used for cellular, wireless LAN, UMTS and ultra wideband communications. ...