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:

  • Vorisek Jiri; Feuerlicht George (Springer-Verlag, 2005)
  • Feuerlicht George (Autori clanku, 2007)
  • Liu X.; Yang Y.; Jiang Y.; Chen Jinjun (IEEE Computer Soc, 2011)
    Due to the dynamic nature of the underlying high-performance infrastructures for scientific workflows such as grid and cloud computing, failures of timely completion of important scientific activities, namely, temporal ...
  • Kaur Preetinder; Goyal Madhu; Lu Jie (Springer-Verlag Berlin / Heidelberg, 2011)
    Auctions can be characterized by distinct nature of their feature space. This feature space may include opening price, closing price, average bid rate, bid history, seller and buyer reputation, number of bids and many more. ...
  • Chen Shan; Williams Mary-Anne (PACIS, 2010)
    Approaches to addressing privacy issues tend to assume privacy is well understood and typically approach the problem from a security perspective. However, security is more concerned with safety than with privacy. Given the ...
  • Kogeda Paul; Agbinya Johnson (The Institute of Electrical and Electronic Engineers Inc (IEEE), 2007)
    Cellular network faults prediction models using mobile intelligent agent are presented in this paper. Cellular net-works are uncertain and dynamic in their behaviours and therefore we use different artificial intelligent ...
  • Agbinya Johnson; Kogeda Paul; Omlin Christian (The Institute of Electrical and Electronic Engineers Inc (IEEE), 2006)
    This paper discusses modelling and prediction of faults in cellular networks. We derive probabilistic models of the cellular network systems in which the independence relations between the variables of interest are ...
  • Feng Yuan; Duan Runyao; Ji Zhengfeng; Ying Mingsheng (Academic Press Inc Elsevier Science, 2007)
    Modeling and reasoning about concurrent quantum systems is very important for both distributed quantum computing and quantum protocol verification. As a consequence, a general framework formally describing communication ...
  • Feng Yuan; Zhang Shengyu; Ying Mingsheng (American Physical Soc, 2002)
    We construct a probabilistic cloning and deleting machine which, taking several copies of an input quantum state, can output a linear superposition of multiple cloning and deleting states. Since the machine can perform ...
  • Zhang Shichao; Zhang Chengqi (Australian Mathermatical Society, 2004)
  • Song Mingli; Tao Dacheng; Chen Chun; Bu Jiajun; Luo Jiebo; Zhang Chengqi (IEEE-Inst Electrical Electronics Engineers Inc, 2012)
    The luminance of a natural scene is often of high dynamic range (HDR). In this paper, we propose a new scheme to handle HDR scenes by integrating locally adaptive scene detail capture and suppressing gradient reversals ...
  • Al-Hmouz Rami; Al-Jumaily Adel; Gulrez Tauseef (The Institute of Electrical and Electronic Engineers Inc (IEEE), 2004)
    This paper presents an experimental study of a Probabilistic Road Map (PRM) based obstacle avoiding algorithm, for motion planning of a non-holonomic mobile robot in cluttered dynamic environment. The PRM approach uses ...
  • Purba Julwan Hendry; Lu Jie; Ruan Da; Zhang Guangquan (World Scientific Publishing Co. Pte. Ltd., 2010)
    Probabilistic safety assessment in nuclear power plants (NPPs) greatly considers plant safety and optimal plant design. Plant specific data are usually recommended to analyze safety in NPPs. However, such NPP specific data ...
  • Huang Shoudong; Lau Haye; Dissanayake Gamini (The Institute of Electrical and Electronic Engineers Inc (IEEE), 2006)
    We consider a search for a target moving within a known indoor environment partitioned into interconnected regions of varying sizes. The knowledge of target location is described as a probability distribution over the ...
  • Tao Dacheng; Sun Jimeng; Wu Xindong; Li Xuelong; Shen Jialie; Maybank Stephen; Faloutsos Christos (Springer-Verlag Berlin / Heidelberg, 2008)
    From data mining to computer vision, from visual surveillance to biometrics research, from biomedical imaging to bioinformatics, and from multimedia retrieval to information management, a large amount of data are naturally ...
  • Babar Abdul; Zowghi Didar; Cox Karl; Tosic Vladimir; Bleistein Steven; Verner June (ACM, 2008)
    Requirements engineering describes how an IT implementation will support business functions. Most IT systems are operational in nature and typical requirements engineering techniques and methods are usually adequate in ...
  • Herzig, Andrew; Johnston, Benjamin (UTSePress, 2009-07-11)
    The biennial workshop on Nonmonotonic Reasoning, Action and Change (NRAC) has an active and loyal community. Since its inception in 1995, the workshop has been held seven times in conjunction with IJCAI, and has experienced ...
  • Williams, Mary-Anne; Morgenstern, Leora; Lakemeyer, Gerhard (2009-12-18)
    The Ninth International Symposium on Logical Formalizations of Commonsense Reasoning will be held at the Fields Institute for Research in Mathematical Sciences, at the University of Toronto, on June 1–3, 2009. Since its ...
  • Feng Yuan; Ying Mingsheng (Science China Press, 2004)
    A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity in the process algebra for reasoning about concurrent actions are presented.
  • Henderson-Sellers Brian; Serour Magdy Kodsy; Mcbride Thomas; Gonzalez Perez Cesar; Dagher Lorraine (Know-Center and Springer Co, 2004)
    Adopting the most appropriate methodology for particular software developments remains a challenge for all industrial IT organizations. Previous attempts to promote a single approach as useful for all occasions has proven ...