Summarizing Data Sets For Classification, Christopher W. Kinzig, Krishnaprasad Thirunarayan, Gary B. Lamont, Robert E. Marmelstein

Kno.e.sis Publications

This paper describes our approach and experiences with implementing a data mining system using genetic algorithms in C++. In contrast with earlier classification algorithms that tended to “tile” the data sets using some pre-specified “shapes”, the proposed system is based on Marmelstein’s work on determining natural boundaries for class homogeneous regions. These boundaries are further refined to construct a compact set of simple data mining rules for classification.

Query Processing With An Fpga Coprocessor Board, Jack S. Jean, Guozhu Dong, Hwa Zhang, Xinzhong Guo, Baifeng Zhang

Kno.e.sis Publications

In this paper, a commercial FPGA coprocessor board is used to accelerate the processing of queries on a relational database that contains texts and images. FPGA designs for text searching and image matching are described and their performances summarized. A potential design for a database JOIN operator is then studied. A query optimization preprocessor is then proposed.

Making Use Of The Most Expressive Jumping Emerging Patterns For Classification, Jinyan Li, Guozhu Dong, Kotagiri Ramamohanarao

Kno.e.sis Publications

Classification aims to discover a model from training data that can be used to predict the class of test instances. In this paper, we propose the use of jumping emerging patterns (JEPs) as the basis for a new classifier called the JEP-Classifier. Each JEP can capture some crucial difference between a pair of datasets. Then, aggregating all JEPs of large supports can produce a more potent classification power. Procedurally, the JEP-Classifier learns the pair-wise features (sets of JEPs) contained in the training data, and uses the collective impacts contributed by the most expressive pair-wise features to determine the class labels …

Survivability Architecture For Workflow Management Systems, Jorge Cardoso, Zongwei Luo, John A. Miller, Amit P. Sheth, Krzysztof J. Kochut

Kno.e.sis Publications

The survivability of critical infrastructure systems has been gaining increasing concern from the industry. The survivability research area addresses the issue of infrastructure systems that continues to provide pre-established service levels to users in the face of disorders and react to changes in the surrounding environment. Workflow management systems need to be survivable since they are used to support critical and sensitive business processes. They require a high level of dependability and should not allow process instances to be interrupted or aborted due to failures. Moreover, due to their sensitivity, business process should reflect any change in the environment. In …

A "Converse" Of The Banach Contraction Mapping Theorem, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

We prove a type of converse of the Banach contraction mapping theorem for metric spaces: if X is a T₁ topological space and f: X -> X is a function with the unique fixed point a such that fⁿ(x) converges to a for each x is a member of X, then there exists a distance function d on X such that f is a contraction on the complete ultrametric space (X,d) with contractivity factor 1/2. We explore properties of the resulting space (X,d).

Unique Supported-Model Classes Of Logic Programs, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

We study classes of programs, herein called unique supported-model classes, with the property that each program in the class has a unique supported model. Elsewhere, the authors examined these classes from the point of view of operators defined relative to certain three-valued logics. In this paper, we complement our earlier results by considering how unique supported-model classes fit into the framework given by various classes of programs in several well-known approaches to semantics.

Kontraktionssatze Auf Verallgemeinerten Metrischen Raumen, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Latent Maximum Entropy Principle For Statistical Language Modeling, Shaojun Wang, Ronald Rosenfeld, Yunxin Zhao

Kno.e.sis Publications

We describe a unified probabilistic framework for statistical language modeling, the latent maximum entropy principle. The salient feature of this approach is that the hidden causal hierarchical dependency structure can be encoded into the statistical model in a principled way by mixtures of exponential families with a rich expressive power. We first show the problem formulation, solution, and certain convergence properties. We then describe how to use this machine learning technique to model various aspects of natural language, such as syntactic structure of sentences, semantic information in a document. Finally, we draw a conclusion and point out future research directions.

Entropy Generation Method To Quantify Thermal Comfort, S. C. Boregowda, S. N. Tiwari, S. K. Chaturvedi

Mechanical & Aerospace Engineering Faculty Publications

The present paper presents a thermodynamic approach to assess the quality of human-thermal environment interaction and quantify thermal comfort. The approach involves development of entropy generation term by applying second law of thermodynamics to the combined human-environment system. The entropy generation term combines both human thermal physiological responses and thermal environmental variables to provide an objective measure of thermal comfort. The original concepts and definitions form the basis for establishing the mathematical relationship between thermal comfort and entropy generation term. As a result of logic and deterministic approach, an Objective Thermal Comfort Index (OTCI) is defined and established as a …

Computer Aided Learning Environment For Biology, Pek Hin Foong

Student Works (2000-2009)

Traditional learning on biology requires of memory rather than understanding. As better educational technology emerges, we are able to utilise the computer as an important tool in learning. Many educational and pedagogical issues, particularly in the field or Artificial intelligence are looked at to help consider a good design for a computer learning tool. Existing computer aided learning materials are also studied to pinpoint their better features and incorporate them into the learning tool. A learning tool is proposed for effective learning in relating facts, rules, text and graphics. This system will have a Study Section containing notes that incorporates …

Designing An Intelligent System For Genetic Biology Learning, Seenivasagam S.Gangatharan

Student Works (2000-2009)

With the changing education scenario, an issue which has come strongly on how to create intelligent tutoring system to educate learners in a more intelligent way. So a need has emerged for the development of an intelligent tutoring system. This part or thesis describes the design of a collection of intelligent systems under the name GENETIC BIOLOGY for basic genetic biology tutoring. GENETIC BIOLOGY consist of three intelligent systems which arc designed for cell, DNA and gene learning. GENETIC BIOLOGY systems employ natural language processing and various techniques normally used in the construction of intelligent systems. Production rules and frames …

Herba Online, Dol Bakri Zen Akmal

Student Works (2000-2009)

Sistem Herba Online merupakan satu sistem informasi dengan pangkalan data berasaskan web yang dibangunkan untuk membantu memperkembangkan pengetahuan rakyat Malaysia amnya tentang herba di Malaysia serta kepentingannya dalam kehidupan. Objektif utama sistem dibangunkan ialah selaku pemangkin meningkatkan pengetahuan pengguna dalam topik herba dengan memudahkan cara mencapai maklumat yang mereka inginkan. Sasaran pengguna bagu sistem ini ialah individu atau organisasi yang terlibat dalam pembelajaran, kajian, penghasilan, pemprosesan atau pemasaran tumbuhan-tumbuhan herba atau produk-produk yang dihasilkannya. Bab pertama laporan ini menceritakan secara ringkas pengenalan, objektif dan skop projek. Bab kedua merupakan hasil daripada kajian literasi yang telah dilakukan berkaitan dengan topik. Secara …

Buah-Buahan Malaysia, Awang Mohd Rafidi

Student Works (2000-2009)

Latihan llmiah merupakan satu kursus yang wajib bagi pejajar tahun akhir memenuhi Kepertuan Sarjana Muda Sains Komputer di Universiti Malaya. Menerusi kursus ini, pelajar perlu menyiapkan satu projek yang mana pelajar dapat mengadaptasikan apa yang telah dipelajari selama ini. Selain itu, pelajar juga mencari serta mempelajari sesuatu daripada projek yang dibangunkan. Sistem yang dibangunkan ini merupakan sistem berinformasi yang berbentuk stand alone mengenai buah-buahan tempatan di negara ini. Selaras dengan perkembangan komputeran teknologi maklumat, sistem yang akan saya bangunkan ini sememangnya dinantikan oleh para pengguna sekarang yang semestinya inginkan sumber maklumat dalam bentuk yang mudah lagi menarik. Sistem ini untuk …

Classes Of Logic Programs Which Possess Unique Supported Models, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Logic programming is concerned with the use of logic as a programming language. The main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10]. The reference [1] contains a good survey of the growth of logic programming over the last twenty-five years both as a stand-alone programming language and as a software component of large information systems. One advantage a logic program P has …

Semantic Web And Information Brokering: Opportunities, Commercialization, And Challenges, Amit P. Sheth

Kno.e.sis Publications

From the chairs' report published in SIGMOD record: The keynote address entitled 'Semantic Web and Information Brokering: Opportunities, Early Commercializations, and Challenges' was delivered by Amit Sheth (University of Georgia and Taalee Corp). Sheth characterized semantics as the next step in the evolution of the WWW and stressed the importance of semantically organized information for supporting ubiquitous, powerful, accurate and efficient access to this information. Sheth also reviewed proposals for semantic interoperability frameworks such as the DAML(DARPA Agent Mark-Up Language), the Oingo family of tools for defining concepts and extracting knowledge from large databases, as well as several scenarios on …

Exception Handling In Workflow Systems, Zongwei Luo, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller

Kno.e.sis Publications

In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the “justified” ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler candidates in dealing with exceptional situations. Furthermore, a case-based reasoning (CBR) mechanism with integrated human involvement is used to improve the exception handling capabilities. This involves collecting cases to capture experiences in handling exceptions, retrieving similar prior exception handling cases, and reusing the exception handling experiences …

Dimensionality Reduction Using Genetic Algorithms, Michael L. Raymer, William F. Punch, Erik D. Goodman, Leslie A. Kuhn, Anil K. Jain

Kno.e.sis Publications

Pattern recognition generally requires that objects be described in terms of a set of measurable features. The selection and quality of the features representing each pattern affect the success of subsequent classification. Feature extraction is the process of deriving new features from original features to reduce the cost of feature measurement, increase classifier efficiency, and allow higher accuracy. Many feature extraction techniques involve linear transformations of the original pattern vectors to new vectors of lower dimensionality. While this is useful for data visualization and classification efficiency, it does not necessarily reduce the number of features to be measured since each …

A New Fixed-Point Theorem For Logic Programming Semantics, Anthony K. Seda, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We present a new fixed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also inspired by a theorem of S.G. Matthews which grew out of applications to conventional programming language semantics. The class of programs to which we apply our theorem was defined previously by us in terms of operators …

On-Line Bayesian Speaker Adaptation By Using Tree-Structured Transformation And Robust Priors, Shaojun Wang, Yunxin Zhao

Kno.e.sis Publications

This paper presents new results by using our previously proposed on-line Bayesian learning approach for affine transformation parameter estimation in speaker adaptation. The on-line Bayesian learning technique allows updating parameter estimates after each utterance and it can accommodate flexible forms of transformation functions as well as prior probability density functions. We show through experimental results the robustness of heavy tailed priors to mismatch in prior density estimation. We also show that by properly choosing the transformation matrices and depths of hierarchical trees, recognition performance improved significantly.

Local Properties Of Query Languages, Guozhu Dong, Leonid Libkin, Limsoon Wong

Kno.e.sis Publications

In this paper we study the expressiveness of local queries. By locality we mean — informally — that in order to check if a tuple belongs to the result of a query, one only has to look at a certain predetermined portion of the input. Examples include all relational calculus queries. We start by proving a general result describing outputs of local queries. This result leads to many easy inexpressibility proofs for local queries. We then consider a closely related property, namely, the bounded degree property. It describes the outputs of local queries on structures that locally look “simple.” Every …

Crop Updates 2000 Cereals - Part 4, C. Tang, Z. Rengel, E. Diatloff, B. Mcgann, Mehmet Cakir, Nick Galwey, David Poulsen, M. Carter, A. Briney, R. Wilson, R. H. Potter, M. G. K. Jones, Ian Barclay, Robyn Mclean, Dean A. Diepeveen, Rob Loughman, Ross Kingwell, Michael O'Connell, Simone Blennerhasset, Benjamin Michael Tiller, Senthold Asseng, Holger Meinke, Bill Bowden, Jeff Russell, Ivan Lee, Clare Johnson, Chris Newman, Robert Emery, Romolo Tassone, Ernestos Kostas, Graeme Ralph, Robert Sudmeyer, David Hall, Harvey Jones

Crop Updates

This session covers twelve papers from different authors:

BREEDING

1.Response to subsoil acidity of wheat genotypes differing in Al-tolerance, C. Tang, Z. Rengel, E. Diatloff and B. McGann, Soil Science and Plant Nutrition/CLIMA, University of Western Australia

2. Application of molecular markers in Barley Improvement, Mehmet Cakir¹, Nick Galwey¹ and David Poulsen^{2, 1}Plant Sciences, Faculty of Agriculture, University of Western Australia, ²Queensland Department of Primary Industries, Hermitage Research Station, Queensland

3. Implementation of molecular markers for wheat improvement in the Western Region, M. Carter¹, A. Briney¹, …

Crop Updates 2000 Cereals - Part 3, Roslyn J. Jettner, Blakely Paynter, Glenn Macdonald, Pierre Fievez, Ian Foster, David Tennant, Wal Anderson, James Ridsdill-Smith, Celia Pavri, Ross Chapman, Senthold Asseng, Steve Carr, Brad Nutt, Lindrea Latham, Roger Jones, Anyou Liu, Clinton K. Revell, David Ferris, Roy Latta, Lisa-Jane Blacklow, Chris Matthews, Ted Woodburn, Paul Yeoh, Ian Rose, Anita Lyons, Simon Cook, Matthew L. Adams, Robert J. Corner

Crop Updates

This session covers eighteen papers from different authors:

BARLEY AND OAT AGRONOMY

1. Unicorn barley must meet malting specifications to be a viable option, Roslyn Jettnerand Blakely Paynter, Agriculture Western Australia

2. Optimum oat seed rates, Glenn McDonald, Agriculture Western Australia

3. Production and Quality of export Oaten Hay (1998 and 1989), Pierre Fievez, Pierre Fievez and Associates

FROST

4. Climatology of Frost in Southern Western Australia, Ian Foster, Agriculture Western Australia

5. Flowering calculator, David Tennant, Agriculture Western Australia

6. Some options for managing the risk of frost damage, Wal Anderson, Agriculture Western Australia

PASTURE

7. …

The Space Of Jumping Emerging Patterns And Its Incremental Maintenance, Jinyan Li, Kotagiri Ramamohanarao, Guozhu Dong

Kno.e.sis Publications

The concept of jumping emerging patterns (JEPs) has been proposed to describe those discriminating features which only occur in the positive training instances but do not occur in the negative class at all; JEPs have been used to construct classifiers which generally provide better accuracy than the state-of-the-art classifiers such as C4.5. The algorithms for maintaining the space of jumping emerging patterns (JEP space) are presented in this paper. We prove that JEP spaces satisfy the property of convexity. Therefore JEP spaces can be concisely represented by two bounds: consisting respectively of the most general elements and the most specific …

Separating Auxiliary Arity Hierarchy Of First-Order Incremental Evaluation Using (3+1)-Ary Input Relations, Guozhu Dong, Louxin Zhang

Kno.e.sis Publications

Presents a first-order incremental evaluation system that uses first-order queries to maintain a database view defined by a non-first-order query. Reduction of the arity of queries to understand the power of foies; Use of a key lemma for proving a query which encodes the multiple parity problem.

Imprecise Answers In Distributed Environments: Estimation Of Information Loss For Multi-Ontology Based Query Processing, Eduardo Mena, Vipul Kashyap, Arantza Illarramendi, Amit P. Sheth

Kno.e.sis Publications

The World Wide Web is fast becoming a ubiquitous computing environment. Prevalent keyword-based search techniques are scalable, but are incapable of accessing information based on concepts. We investigate the use of concepts from multiple, real-world pre-existing, domain ontologies to describe the underlying data content and support information access at a higher level of abstraction. It is not practical to have a single domain ontology to describe the vast amounts of data on the Web. In fact, we expect multiple ontologies to be used as different world views and present an approach to "browse" ontologies as a paradigm for information access. …

Optimization Techniques For Data Intensive Decision Flows, Richard Hull, Francois Llirbat, Bharat Kumar, Gang Zhou, Guozhu Dong, Jianwen Su

Kno.e.sis Publications

For an enterprise to take advantage of the opportunities afforded by electronic commerce it must be able to make decisions about business transactions in near-real-time. In the coming era of segment-of-one marketing, these decisions will be quite intricate, so that customer treatments can be highly personalized, reflecting customer preferences, the customer's history with the enterprise, and targeted business objectives. This paper describes a paradigm called “decision flows” for specifying a form of incremental decision-making that can combine diverse business factors in near-real-time.

This paper introduces and empirically analyzes a variety of optimization strategies for decision flows that are “data-intensive”, i.e. …

Application Of Ai In Medicine, Tarmizi Amirul Hisyam

Student Works (2000-2009)

From the beginning of human civilization, mankind have been trying to fins solution on how to make life easier. They create, modify and adapt, as they would please their need. From the smallest things in our life to the biggest part of all technologies, has improved our life tremendously. Computer technology nowadays has an important role in education, communication, medicine, and many more. In the field of medicine, we have seen many support systems had been developed and use to help human in their daily lives. Application of AI in medicine was proposed in this reason in mind, as a …

Sistem Pakar Bermultimedia Untuk Pengenalpastian Serangga, Osman Aizul Hussin

Student Works (2000-2009)

Sistem Pakar Bermultimedia untuk domain pengenalpastian serangga ,Insect Identification Expert System,(IIES ) merupakan sistem pakar untuk membantu proses pengenalpastian pangkat serangga dalam Hierarki Linnean. Sistem ini menggunakan pendekatan berorientasikan objek di mana konsep kelas dan objek akan digunakan untuk merekodkan pengetahuan ke bentuk yang akan difahami oleh sistem pakar. Strategi inferens yang digunakan ialah teknik rantaian ke hadapan di mana sistem pakar akan menghasilkan konklusi berdasarkan data-data yang diberi. Sistem pakar mempunyai ciri-ciri multimedia untuk membantu memberi panduan bagi pengguna untuk mengenal pasti ciri-ciri kunci serangga dan memberi penjelasan tentang domain di samping memberi pendekatan yang berlainan dari sistem pakar …

Sistem Diagnosis Penyakit Tanaman Padi (Pakar Padi), Jin Gee Tee

Student Works (2000-2009)

Beras adalah makanan utama rakyat Malaysia. Banyak kajian dan penyelidikan dibuat untuk meningkatkan hasil tanaman padi. Di antaranya termasuklah mengkaji cara-cara kawalan serangga perosak dan kerja-kerja diagnosis penyakit tanaman padi. Maklumat-maklumat daripada hasil kajian harus disimpan dengan baik supaya kerja diagnosis dapat dijalankan dengan lebih lancar. Memandangkan keperluan ini, satu sistem berkomputeran yang menyimpan data data mengenai tanaman padi adalah penting dan dijangka akan memberi bantuan dalam pengurusan dan kerja-kerja diagnosis. Ini telah membawa kepada idea untuk membangunkan satu sistem diagnosis penyakit bagi tanaman padi. Sistem Diagnosis Penyakit Tanaman Padi, diberikan nama Pakar Padi adalah satu sistem berpangkalan komputer yang …

Sistem Maklumat Multimedia Batu Karang Malaysia (Mcris), Shamsudin Suhainah

Student Works (2000-2009)

Projek Ilmiah merupakan syarat wajib kepada para pelajar yang mengambil kursus Sarjana Muda Teknologi Maklumat (Pengurusan) di Universiti Malaya yang ingin menamatkan pengajian mereka. Projek ini terbahagi kepada dua bahagian iaitu Projek Ilmiah Tahap Awal (WXET 3181) dan Projek Ilmiah Tahap Akhir (WXET 3182). Pelajar dibenarkan memilih tajuk sendiri. Maka, saya telah memilih tajuk Sistem Maklumat Multimedia Batu Karang di Malaysia (McRis) di bawah seliaan En. Mustaffa Kamal dan Dr. Mazliza sebagai moderator. McRis merupakan satu sistem maklumat yang berkaitan dengan batu karang yang terdapat di firdausi taman laut kita seperti jenis-jenisnya dan sedikit penerangan yang disertakan dengan gambar yang …