Mexican International Conference on Artificial Intelligence | |
---|---|
Abbreviation | MICAI |
Discipline | Artificial Intelligence |
Publication details | |
Publisher | Springer LNAI, IEEE CPS, journals. |
History | 2000– |
Frequency | annual |
The Mexican International Conference on Artificial Intelligence (MICAI) is the name of an annual conference covering all areas of Artificial Intelligence (AI), held in Mexico. The first MICAI conference was held in 2000. The conference is attended every year by about two hundred of AI researchers and PhD students and 500−1000 local graduate students.
MICAI is a high-level peer-reviewed international conference covering all areas of Artificial Intelligence. All editions of MICAI have been published in Springer Springer LNAI (N 1793, 2313, 2972, 3789, 4293, 4827, 5317, 5845, 6437–6438). Recent MICAI events (2006, 2007, 2008, 2009, and 2010) received over 300 submissions from over 40 countries each. The conference's scientific program includes keynote lectures, paper presentations, tutorials, panels, posters, and workshops. MICAI is organized by the Mexican Society for Artificial Intelligence (SMIA) in cooperation with various national institutions.
Their topics of interest include, but are not limited to: Applications of artificial intelligence, Automated theorem proving, Belief revision, Bioinformatics and Medical applications of artificial intelligence, Case-based reasoning, Common-sense reasoning, Computer vision and image processing, Constraint programming, Data mining, Expert systems and knowledge-based systems, Fuzzy logic, Genetic algorithms, Hybrid intelligent systems, Intelligent interfaces: multimedia, virtual reality, Intelligent organizations, Intelligent tutoring systems, Knowledge acquisition, Knowledge representation and knowledge management, Logic programming, Machine learning, Model-based reasoning, Multiagent systems and distributed artificial intelligence, Natural Language Processing, Neural Networks, Non-monotonic Reasoning, Ontologies, Pattern Recognition, Philosophical and methodological issues of artificial intelligence, Planning and scheduling, Qualitative reasoning, Robotics, Spatial and temporal reasoning, Uncertainty reasoning and probabilistic reasoning.
In the table below, the figures for the number of accepted papers and acceptance rate refer to the main proceedings volume and do not include supplemental proceedings volumes. The number of countries corresponds to submissions, not to accepted papers.
Year | City | Website | Proceedings | Submissions | Countries | Accepted | Acceptance rate |
---|---|---|---|---|---|---|---|
2000 | Acapulco | [ permanent dead link ] | [1] | 163 | 17 | 60 | 37% |
2002 | Mérida | [ permanent dead link ] | [2] | 85 | 17 | 56 | 66% |
2004 | Mexico | [ permanent dead link ] | [3] | 254 | 19 | 94 | 38.2% |
2005 | Monterrey | [4] | 423 | 43 | 120 | 28% | |
2006 | Apizaco | [5] [6] | 447 | 42 | 123 | 26% | |
2007 | Aguascalientes | [7] [8] | 485 | 31 | 115 | 23.9% | |
2008 | Atizapán de Zaragoza | [9] [10] | 363 | 43 | 94 | 25.9% | |
2009 | Guanajuato | [11] [12] | 215 | 21 | 63 | 29.3% | |
2010 | Pachuca | [13] [14] [15] | 301 | 34 | 126 | 42% | |
2011 | Puebla | [16] [17] [18] | 348 | 40 | 96 | 27.7% | |
2012 | San Luis Potosí | [19] [20] [21] | 224 | 28 | 77 | 34.3% | |
2013 | Mexico City | [22] [23] [24] | 284 | 45 | 85 | 29.9% | |
2014 | Tuxtla Gutiérrez, Chiapas | 350 | 46 | 87 | 24.8% |
The following persons were honored by being selected by the organizers as keynote speakers or program chairs:
The authors of the following papers received the Best Paper Award:
Year | Place | Authors | Country | Paper |
---|---|---|---|---|
2000 | - | Joby Varghese and Snehasis Mukhopadhyay | India | Multi-agent Adaptive Dynamic Programming |
- | Mauricio Osorio | Mexico | ||
- | G. E. A. P. A. Batista, A. Carvalho, and M. C. Monard | Applying One-sided Selection to Unbalanced Datasets | ||
- | Alexander Gelbukh, Grigori Sidorov, and Igor A. Bolshakov | Mexico | Coherence Maintenance in Man-Machine Dialogue with Ellipsis (in the section of local papers) | |
- | Alexander Gelbukh | Mexico | A Data Structure for Prefix Search under Access Locality Requirements and Its Application to Spelling Correction (in the section of local papers) | |
- | Homero V. Rios, Emilio Aguirre et al. | Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems | ||
- | Armando García-Rodríguez, Ramón Martín Rodríguez-Dagnino, and Christos Douligeris | Extending the prediction horizon in dynamic bandwidth allocation for VBR video transport | ||
- | ||||
- | ||||
2002 | 1 | |||
2 | ||||
3 | ||||
2003 | 1 | Nestor Velasco Bermeo, Miguel González Mendoza, Alexander García Castro and Irais Heras Dueñas. | Mexico | Towards the creation of Semantic Models based on Computer-Aided Designs |
2004 | 1 | |||
2 | ||||
3 | ||||
2005 [4] | 1 | Rafael Murrieta Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson, Raul Monroy, Moises Alencastre Miranda, Lourdes Muñoz Gómez, and Ricardo Swain | A framework for Reactive Motion and Sensing Planning: a Crititcal Events-Based Approach | |
2 | Patrice Delmas, Georgy Gimel'farb, Jiang Liu, and John Morris | A Noise-Driven Paradigm for Solving the Stereo Correspondence Problem | ||
3 | Jinghui Xiao, Bingquan Liu, Xiaolong Wang, and Bing Li | A Similarity-Based Approach to Data Sparseness Problem of the Chinese Language Modeling | ||
2006 [5] | 1 | Luz Abril Torres-Méndez and Gregory Dudek | Statistics of Visual and Partial Depth Data for Mobile Robot Environment Modeling | |
2 | Antonio Camarena-Ibarrola and Edgar Chávez | On Musical Performances Identification, Entropy and String Matching | ||
3 | Eduardo Rodriguez-Tello, Jin-Kao Hao, and Jose Torres-Jimenez | A Refined Evaluation Function for the MinLA Problem | ||
2007 [7] | 1 | Mu Xiangyang, Zhang Taiyi and Zhou Yaatong | China | Scaling Kernels: A New Least Squares Support Vector Machine Kernel for Approximation |
2 | Jean Bernard Hayet and Justus Piater | Mexico / Belgium | On-line Rectification of Sport Sequences with Moving Cameras | |
3 | Marcin Radlak and Ryszard Klempous | UK / Poland | SELDI-TOF-MS Pattern Analysis for Cancer Detection as a Base for Diagnostic Software | |
2008 [9] | 1 | Philippe Fournier-Viger, Roger Nkambou, and Engelbert Mephu Nguifo | Canada / France | A Knowledge Discovery Framework for Learning Task Models from User Interactions in Intelligent Tutoring Systems |
2 | Yulia Ledeneva | Mexico | Effect of Preprocessing on Extractive Summarization with Maximal Frequent Sequences | |
3 | Giovanni Lizárraga, Arturo Hernández and Salvador Botello | Mexico | A Set of Test Cases for Performance Measures in Multiobjective Optimization | |
2009 | 1 | |||
2 | ||||
3 | ||||
2010 | 1 | Olga Kolesnikova and Alexander Gelbukh | Mexico | Supervised Machine Learning for Predicting the Meaning of Verb-Noun Combinations in Spanish |
2 | Omar Montano-Rivas, Roy McCasland, Lucas Dixon and Alan Bundy | UK | Scheme-based Synthesis of Inductive Theories | |
3 | ||||
2011 [16] | 1 | Sergio Jimenez Vargas and Alexander Gelbukh | Colombia / Mexico | SC Spectra: A New Soft Cardinality Approximation for Text Comparison |
2 | Dmitrijs Rutko | Latvia | Fuzzified Tree Search in Teal Domain Games | |
3 | Francisco Madrigal, Jean-Bernard Hayet, and Mariano Rivera | Mexico | Multiple Target Tracking with Motion Priors | |
2012 [19] | 1 | Nestor Velasco Bermeo, Miguel González Mendoza, Alexander García Castro, Irais Heras Dueñas | Mexico / USA | Toward the Creation of Semantic Models Based on Computer-Aided Designs |
2 | Hillel Romero-Monsivais, Eduardo Rodriguez-Tello, Gabriel Ramírez | Mexico | A New Branch and Bound Algorithm for the Cyclic Bandwidth Problem | |
3 | Gonzalo Nápoles, Isel Grau, Maikel León, Ricardo Grau | Cuba | Modelling, Aggregation, and Simulation of a Dynamic Biological System Through Fuzzy Cognitive Maps | |
2013 [22] | 1 | Sergio Rogelio Tinoco-Martínez, Felix Calderon, Carlos Lara-Alvarez, Jaime Carranza-Madrigal | Mexico | A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging |
2 | Angel Kuri-Morales, Edwin Aldana-Bobadilla | Mexico | The Best Genetic Algorithm I. A Comparative Study of Structurally Different Genetic Algorithms | |
Angel Kuri-Morales, Edwin Aldana Bobadilla, Ignacio López-Peña | Mexico | The Best Genetic Algorithm II. A Comparative Study of Structurally Different Genetic Algorithms | ||
3 | Melanie Neunerdt, Michael Reyer, Rudolf Mathar | Germany | A POS Tagger for Social Media Texts Trained on Web Comments |
Case-based reasoning (CBR), broadly construed, is the process of solving new problems based on the solutions of similar past problems. An auto mechanic who fixes an engine by recalling another car that exhibited similar symptoms is using case-based reasoning. A lawyer who advocates a particular outcome in a trial based on legal precedents or a judge who creates case law is using case-based reasoning. So, too, an engineer copying working elements of nature, is treating nature as a database of solutions to problems. Case-based reasoning is a prominent type of analogy solution making.
E is a high performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E is developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich, now at Baden-Württemberg Cooperative State University Stuttgart.
Yacas is a general-purpose computer algebra system. The name is an acronym for Yet Another Computer Algebra System.
Provable security refers to any type or level of computer security that can be proved. It is used in different ways by different fields.
Automated reasoning is an area of computer science and metalogic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy.
Rigi is an interactive graph editor tool for software reverse engineering using the white box method, i.e. necessitating source code, thus it is mainly aimed at program comprehension. Rigi is distributed by its main author, Hausi A. Müller and the Rigi research group at the University of Victoria.
In data analysis, anomaly detection is the identification of rare items, events or observations which raise suspicions by differing significantly from the majority of the data. Typically the anomalous items will translate to some kind of problem such as bank fraud, a structural defect, medical problems or errors in a text. Anomalies are also referred to as outliers, novelties, noise, deviations and exceptions.
Artificial psychology (AP) has had multiple meanings dating back to 19th century, with recent usage related to artificial intelligence (AI).
Hypercube-based NEAT, or HyperNEAT, is a generative encoding that evolves artificial neural networks (ANNs) with the principles of the widely used NeuroEvolution of Augmented Topologies (NEAT) algorithm. It is a novel technique for evolving large-scale neural networks using the geometric regularities of the task domain. It uses Compositional Pattern Producing Networks (CPPNs), which are used to generate the images for Picbreeder.org and shapes for EndlessForms.com. HyperNEAT has recently been extended to also evolve plastic ANNs and to evolve the location of every neuron in the network.
WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the conference is scientifically sponsored by the Association for Logic, Language and Information, the Association for Symbolic Logic, the European Association for Theoretical Computer Science and the European Association for Computer Science Logic.
CICLing is an annual conference on computational linguistics (CL) and natural language processing (NLP). The first CICLing conference was held in 2000 in Mexico City. The conference is attended by one to two hundred of NLP and CL researchers and students every year. As of 2017, it is ranked within top 20 sources on computational linguistics by Google Scholar. Past CICLing conferences have been held in Mexico, Korea, Israel, Romania, Japan, India, Greece, Nepal, Egypt, Turkey, Hungary, and Vietnam; the 2019 event was held in France.
In machine learning the random subspace method, also called attribute bagging or feature bagging, is an ensemble learning method that attempts to reduce the correlation between estimators in an ensemble by training them on random samples of features instead of the entire feature set.
Donald W. Loveland is a professor emeritus of computer science at Duke University who specializes in artificial intelligence. He is well known for the Davis–Putnam–Logemann–Loveland algorithm.
Allan M. Ramsay is a Professor of Formal Linguistics in the Department of Computer Science at the University of Manchester.
Optical braille recognition is the act of capturing and processing images of braille characters into natural language characters. It is used to convert braille documents for people who cannot read them into text, and for preservation and reproduction of the documents.
Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative and often recursive programs from incomplete specifications, such as input/output examples or constraints.
Amit Sahai is an American computer scientist. He is a professor of computer science at UCLA and the director of the Center for Encrypted Functionalities.
Newton Howard is a brain and cognitive scientist, the former director of the MIT Mind Machine Project at the Massachusetts Institute of Technology (MIT). He is a professor of computational neuroscience and functional neurosurgery at the University of Oxford, where he directs the Oxford Computational Neuroscience Laboratory. He is also the director of MIT's Synthetic Intelligence Lab, the founder of the Center for Advanced Defense Studies and the chairman of the Brain Sciences Foundation. Professor Howard is also a senior fellow at the John Radcliffe Hospital at Oxford, a senior scientist at INSERM in Paris and a P.A.H. at the CHU Hospital in Martinique.
EvoStar, or Evo*, is an international scientific event devoted to evolutionary computation held in Europe. Its structure has evolved over time and it currently comprises four conferences: EuroGP the annual conference on Genetic Programming, EvoApplications, the International Conference on the Applications of Evolutionary Computation, EvoCOP, European Conference on Evolutionary Computation in Combinatorial Optimisation, and EvoMUSART, the International Conference on Computational Intelligence in Music, Sound, Art and Design. According to a 2016 study EvoApplications is a Q1 conference, while EuroGP and EvoCOP are both Q2.
Hartmut Ehrig was a German computer scientist and professor of theoretical computer science and formal specification. He was a pioneer in algebraic specification of abstract data types, and in graph grammars.