2006 Fifth Mexican International Conference on Artificial Intelligence

13-17 Nov. 2006

Filter Results

Displaying Results 1 - 25 of 50
  • Fifth Mexican International Conference on Artificial Intelligence [Cover]

    Publication Year: 2006, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (182 KB)
    Freely Available from IEEE
  • Fifth Mexican International Conference on Artificial Intelligence-Title

    Publication Year: 2006, Page(s):i - iii
    Request permission for commercial reuse | PDF file iconPDF (31 KB)
    Freely Available from IEEE
  • Fifth Mexican International Conference on Artificial Intelligence-Copyright

    Publication Year: 2006, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (44 KB)
    Freely Available from IEEE
  • Fifth Mexican International Conference on Artificial Intelligence - TOC

    Publication Year: 2006, Page(s):v - ix
    Request permission for commercial reuse | PDF file iconPDF (50 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2006, Page(s):x - xiii
    Request permission for commercial reuse | PDF file iconPDF (57 KB) | HTML iconHTML
    Freely Available from IEEE
  • Organization

    Publication Year: 2006, Page(s):xiv - xix
    Request permission for commercial reuse | PDF file iconPDF (51 KB)
    Freely Available from IEEE
  • Knowledge Based Verification of Aggregate Specifications

    Publication Year: 2006, Page(s):3 - 11
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (243 KB) | HTML iconHTML

    The paper considers the verification approach of Piece--Linear Aggregate models used for formalization and simulation of complex systems. The approach is based on constructing an aggregate specification and transforming the specification to the set of predicate logic formulas describing both aggregate specification and properties under investigation. The resolution method implemented in Prolog is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structural Error Verification in Active Rule-Based Systems using Petri Nets

    Publication Year: 2006, Page(s):12 - 21
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (290 KB) | HTML iconHTML

    A knowledge base needs to be verified so that it works corretly. Up to date, approaches on production rule base verification have been reported adequately. However, active rule base verification cannot be found. In this paper, we primitively define structural errors in active rule base. Then, a verification approach is proposed based on Conditional Colored Petri Nets. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Skolem Functions and Herbrand Universes in a Tree Generalization of First Order Logic

    Publication Year: 2006, Page(s):22 - 31
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (154 KB) | HTML iconHTML

    Skolem functions and Herbrand universes are fundamental concepts in first-order logic that form the basis of many works in artificial intelligence. In this paper, we study a fragment of the XML Query Language (XQuery) that generalizes first-order logic to a setting where variables form a forest instead of a set. A formal description of the logic and its semantics is given; Skolem functions and Her... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Update Sequences in Generalised Answer Set Programming Based on Structural Properties

    Publication Year: 2006, Page(s):32 - 41
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (221 KB) | HTML iconHTML

    Revising and updating beliefs and knowledge bases is an important topic in knowledge representation and reasoning. Various proposals have been made for updating logic programs, in particular with respect to Answer Set Programming. So far, most of these approaches are based on a Causal Rejection Principle. However, we show that this may result in an unintuitive behaviour. Accordingly, we propose a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A New Approach for an Artificial Evolving System

    Publication Year: 2006, Page(s):42 - 52
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB) | HTML iconHTML

    We have built an adaptive system (AS) that is able to evolve and improve its answering ability to all reiterative questions from an artificial environment. Indeed, we have created a basic artificial system that is able to do what is usually understood as a natural system's behavior. In this work, rather than using logic, we encourage coherence, because it is not logic correctness but harmony betwe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Gabor Binary Codes for Face Recognition

    Publication Year: 2006, Page(s):53 - 60
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (692 KB) | HTML iconHTML

    There are many challenges in face recognition task, such as illumination, facial expression and accessory etc. in this paper, an novel method, called Gabor Binary Code (GBC) is introduced to extract robustness features for face recognition against these disturbance. At first, the original gray images was convoluted with a series of Gabor Wavelet jets and got the corresponding Gabor Magnitude Pictu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tracking Facial Feature Points with Statistical Models and Gabor Wavelet

    Publication Year: 2006, Page(s):61 - 67
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (651 KB) | HTML iconHTML

    A precise face tracking algorithm for image sequence is presented in this paper which integrates Gabor wavelets with statistical models AAM (active appearance models). Facial feature points are characterized using Gabor wavelets and can be individually tracked. However, a disadvantage with this kind of purely feature-based tracking is that errors accumulate and nodes loose lock on their correspond... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Detection of Biological Cells in Phase-Contrast Microscopy Images

    Publication Year: 2006, Page(s):68 - 77
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2091 KB) | HTML iconHTML

    In this paper, we propose an automatic method to obtain cells detection and cells migration tracking in order to analyze cells behaviors under different conditions. The images were obtained using phase-contrast video microscopy method. Proposed method normalizes original images in order to increase image contrast, and a classification process based on variance operator determines the nature of pix... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Decision--Theoretic Assistant Based on Gesture Recognition

    Publication Year: 2006, Page(s):78 - 90
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (476 KB) | HTML iconHTML

    This paper presents a new approach that combines computer vision and decision theory for an automatic human assistant. The setting is a washstand where a person is trying to complete the activity "cleaning the hands", guided by auditive instructions. To perform this activity the user interacts with surrounding objects. We assume that each step of the activity can be recognized based on previous an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Finding Qualitative Patterns in Ozone Behavior

    Publication Year: 2006, Page(s):91 - 100
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (481 KB) | HTML iconHTML

    Air pollution is one of the most important environmental problems in urban areas, being extremely critical in Mexico City. The main air pollution problem that has been identified in Mexico City metropolitan area is the formation of photochemical smog, primarily ozone. This toxic gas can produce harmful effects on the population's health, especially children's health. The study and developement of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Novel Cursive Character Recognition System

    Publication Year: 2006, Page(s):101 - 110
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (250 KB) | HTML iconHTML

    During the last two decade, numerous handwriting character recognition systems have been proposed. Many of them presented their limitation when the handwriting character is cursive type and it has some deformation. However this type of cursive character is easily recognized by the human being. In this paper we research its human ability and apply it to the dynamic handwriting character recognition... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Image Retrieval Based on Color and Texture

    Publication Year: 2006, Page(s):111 - 120
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (946 KB) | HTML iconHTML

    In this paper, a clustering algorithm based on mean shift is used to extract the dominant color in CIE L*a*b* color space. Earth Mover's Distance is used to calculate the color dissimilarity. In order to overcome disadvantages of color feature, a new method based on texture is proposed. The technique of relevance feedback is used to enhance the effectiveness. Finally, a prototype system is develop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computing Similarity of Square Matrices by Eigenconjugation

    Publication Year: 2006, Page(s):121 - 132
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (346 KB) | HTML iconHTML

    In computer sciences, matrices are widely used for representing different kinds of information. Measuring similarity among square matrices is an interesting open problem in computer sciences. Furthermore, eigenvalues and eigenvectors are a powerful way for representing and characterizing square matrices. In this paper we introduce a new similarity measure among two square data matrices of the same... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Markov Chain Inference From Microarray Data

    Publication Year: 2006, Page(s):133 - 141
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (366 KB) | HTML iconHTML

    Array technologies have made it straightforward to monitor simultaneously the expression pattern of thousands of genes. Thus, a lot of data is being generated and the challenge now is to discover how to extract useful information from these data sets. Microarray data is highly specialized, involves several variables in a non-linear and temporal way, demanding nonlinear recurrent free models, which... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fast Feature Selection Method for Continuous Attributes with Nominal Class

    Publication Year: 2006, Page(s):142 - 150
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB) | HTML iconHTML

    Feature selection has become a relevant pre-processing problem on knowledge discovery in databases, because of very large databases or because some attributes are expensive to obtain. There is a large number of diverse feature selection methods for databases with pure nominal data (attributes and class), or pure continuous data, but little work has been done for the case of continuous attributes w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Feature Selection Using a Hybrid Associative Classifier with Masking Techniques

    Publication Year: 2006, Page(s):151 - 160
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (232 KB) | HTML iconHTML

    Performance in most pattern classifiers is improved when redundant or irrelevant features are removed, however, this is mainly achieved by successive classifiers construction. In this paper hybrid classification and masking techniques are presented as a new feature selection approach. The algorithm uses a hybrid classifier to provide a mask that identifies the optimal subset of features without ha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multiple Classifiers Combination Based on Specialists' FIelds

    Publication Year: 2006, Page(s):161 - 167
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (241 KB) | HTML iconHTML

    This paper proposes a new method to combine the predictions of different classifiers in order to improve the error rate of a single classifier. The method consists of training different classifiers plus an integration mechanism that for a given case (to be classified) selects the best classifier (the Specialist) that should classify it. The idea of our model is derived from diagnosing flow in hosp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Clustering Validity Measures and the Rough Set Theory

    Publication Year: 2006, Page(s):168 - 177
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (254 KB) | HTML iconHTML

    Document clustering has been investigated for use in different areas of text mining and information retrieval. A clustering depends on the chosen clustering algorithm as well as on the algorithm's parameter settings; for that reason it is necessary to find the best among several clustering techniques. However, it is very difficult to evaluate a given clustering of documents. There are external, in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Approach to Support Vector Regression with Genetic Algorithms

    Publication Year: 2006, Page(s):178 - 186
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (293 KB) | HTML iconHTML

    Support Vector Machines (SVM) are learning methods useful for solving supervised learning problems such as classification (SVC) and regression (SVR). SVM's are based on the Statistical Learning Theory and the minimization of the Structural Risk [1], an enhancement over neural networks such as Multi-Layer Perceptrons. However, the major drawback is the high computational cost of the constrained Qua... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.