Browsing Closed by Title

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing Closed by Title

Sort by: Order: Results:

  • Vague One-Class Learning for Data Streams 
    Zhu Xingquan; Wu Xindong; Zhang Chengqi (IEEE Computer Society, 2009)
    In this paper, we formulate a new research problem of learning from vaguely labeled one-class data streams, where the main objective is to allow users to label instance groups, instead of single instances, as positive ...
  • Validity of First-Order knowledge bases 
    Debenham John (Association for the Advancement of Artificial Intelligence, 2001)
    A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine which parts of that model should ...
  • Vector Quantized Radial Basis Function Neural Networks with Embedded Local Linear Models for Financial Prediction 
    Jan Tony; Kim Maria (IEEE Press, 2005)
    IJCNN is RQF-Tier A conference. It is premiere conference in my field of study which is neural network and computational intelligence.
  • Vehicle Detection on Aerial Images by Extracting Corner Features for Rotational Invariant Shape Matching 
    Wang Sheng (IEEE Press, 2011)
    Vehicle detection from aerial images has been extensively studied in many research papers and it is an important component of an intelligent transportation system. In the meantime, it is still a difficult problem with many ...
  • Vendor Transition and the Impact on In-flight Projects 
    Booker Amaya; Sixsmith Alan (Association for Information Systems, 2010)
    This paper explores the vendor transition process after the termination or alteration of existing outsourcing contracts and the impact on in-flight projects. A single case study based on a large Australian telecommunications ...
  • Ventricular Tachycardia/Fibrillation Detection Algorithm for 24/7 Personal Wireless Heart Monitoring 
    Fokkenrood Steven; Leijdekkers Peter; Gay Valerie (Springer-Verlag, 2007)
  • The Verification Logic for Secure Transaction Protocols 
    Chen Qingfeng; Zhang Chengqi (Peoples Posts and Telecommunications Publishing House, 2002)
    In common sense, electronic transactions through secure transaction protocols are secure. However, not all so-called secure transaction protocols are secure. To verify the protocols this paper proposes the NDL ...
  • A verification model for electronic transaction protocols 
    Zhang Chengqi; Chen Qingfeng; Zhang Shichao (Springer-Verlag, 2004)
    Electronic transaction protocols have been found with subtle flaws. Recently, model checking has been used to verify electronic transaction protocols for the limitations of low efficiencyand error prone in the traditional ...
  • The Verification of Merchant Registration in SET Protocol 
    Zhang Chengqi; Chen Qingfeng; Lu Jie (CSREA Press, 2002)
    The Merchant Registration in the Secure Electronic Transaction (SET) protocol is presented and its formal analysis is described. Based on the analysis, this paper unveils some potential vulnerabilities of SET. Such ...
  • Verifying the Payment Authorization in SET Protocol 
    Chen Qingfeng; Zhang Chengqi; Zhang Shichao (Springer-Verlag, 2003)
  • Verifying the Purchse Request in SET Protocol 
    Chen Qingfeng; Zhang Chengqi; Zhang Shichao; Li Chunsheng (Springer-Verlag, 2003)
    The Secure Electronic Transaction (SET) protocol has been jointly developed by Visa and MasterCard toward achieving secure online-transactions. This paper presents formal verification of the Purchase Request phase of ...
  • Viability of a Wavelet-Based Multicarrier Modulation ADSL System 
    Nguyen Tuan; Nguyen Dinh (IEEE, 2005)
    The authors consider the viability of a wavelet-based multicarrier modulation (MCM) scheme as an alternative to the current FFT-based system used in an asymmetrical digital subscriber line (ADSL). Current work tends to ...
  • Video object encoder using selective local-space support vector machines 
    Tsai Po-Hsiang; Jan Tony; Gunes Hatice (IEEE, 2004)
    NA
  • The views of quality for the requirements document 
    Wong Bernard (CSREA Press, 2005)
    Software products are a critical and strategic asset in an organizations business. They are becoming larger, more sophisticated and more complex. The challenge is to develop more complicated software products within the ...
  • Virtualisation of enterprise data and services 
    Feuerlicht George; Ates Emine (Prague University of Economics, 2005)
  • Virtual Market Environment for Trade 
    Bogg Paul; Dalmaris Peter (Kluwer Academic Publishers, 2004)
    In today's society, there is a need for greater understanding of activities within electronic market environments and the role information plays in negotiation. Fuelled by greater communication reach and information flow, ...
  • Virtual Spiral Architecture 
    He Xiangjian; Wu Qiang; Hintz Thomas (CSREA Press, 2004)
    Spiral Architecture is a relative new and powerful approach to machine vision system. The geometrical arrangement of pixels on Spiral architecture can be described in terms of a hexagonal grid. However, all the existing ...
  • Visual Attention Based Small Object Segmentation in Natural Images 
    Guo Wen; Xu Changshen; Ma Songde; Xu Min (IEEE Computer Society, 2010)
    Small object segmentation is a challenging task in image processing and computer vision. In this paper we propose a visual attention based segmentation approach to segment interesting objects with small size in natural ...
  • Visual Clustering of Spam Emails for DDoS Analysis 
    Huang Mao Lin; Zhang Jinson; Nguyen Quang Vinh; Wang Junhu (IEEE Computer Society, 2011)
    Networking attacks embedded in spam emails are increasingly becoming numerous and sophisitcated in nature. Hence this has given a growing need for spam e-mail analysis to identify these attacks. The use of these intrusion ...
  • Visualising File-Systems Using ENCCON Model 
    Nguyen Quang Vinh; Huang Mao (Australian Computer Society, 2004)
    This paper describes a new approach for visualising the file structures. Our technique uses an enclosure + connection (ENCCON) approach that provides an overall view of the entire file/directory hierarchy that gives ...