Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Edgar Chávez, Karina Figueroa 0001, Gonzalo Navarro 0001 |
Proximity Searching in High Dimensional Spaces with a Proximity Preserving Order. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Angel Fernando Kuri Morales, Martha R. Ortiz-Posadas |
A New Approach to Sequence Representation of Proteins in Bioinformatics. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rujing Wang, Xiaoming Zhang |
Particle Swarm Optimization with Opposite Particles. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ismael López-Juárez, Keny Ordaz-Hernández, Mario Peña-Cabrera, Jorge Corona Castuera, Reyes Rios-Cabrera |
On the Design of a Multimodal Cognitive Architecture for Perceptual Learning in Industrial Robots. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Axel Domínguez-López, Gilberto Marrufo |
Hybrid Fuzzy/Expert System to Control Grasping with Deformation Detection. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luis E. Garza-Castañón, Francisco J. Cantú Ortiz, Rubén Morales-Menéndez, Ricardo Ramírez-Mendoza |
A Fault Detection Approach Based on Machine Learning Models. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Crina Grosan, Ajith Abraham, Sangyong Han, Alexander F. Gelbukh |
Hybrid Particle Swarm - Evolutionary Algorithm for Search and Optimization. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Danjun Zhu, Boqin Feng, Tao Guan |
Rough Sets and Decision Rules in Fuzzy Set-Valued Information Systems. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Castro 0001, Éric Monfroy, Christian Figueroa, Rafael Meneses |
An Approach for Dynamic Split Strategies in Constraint Solving. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marlon Núñez, Raúl Fidalgo, Rafael Morales Bueno |
On-Line Learning of Decision Trees in Problems with Unknown Dynamics. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Corona Castuera, Reyes Rios-Cabrera, Ismael López-Juárez, Mario Peña-Cabrera |
An Approach for Intelligent Fixtureless Assembly: Issues and Experiments. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yasmín Hernández, Julieta Noguez 0001, Luis Enrique Sucar, Gustavo Arroyo-Figueroa |
A Probabilistic Model of Affective Behavior for Intelligent Tutoring Systems. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Raziel Álvarez, Erik Millán, Ricardo Swain Oropeza |
Multilevel Seed Region Growth Segmentation. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Janset Kuvulmaz, Serkan Usanmaz, Seref Naci Engin |
Time-Series Forecasting by Means of Linear and Nonlinear Models. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic |
Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Darius Plikynas, Yusaf H. Akbar |
Application of Modified Neural Network Weights' Matrices Explaining Determinants of Foreign Investment Patterns in the Emerging Markets. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sefer Kurnaz, Emre Eroglu, Okyay Kaynak, Umit Malkoc |
A Frugal Fuzzy Logic Based Approach for Autonomous Flight Control of Unmanned Aerial Vehicles. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | René MacKinney-Romero, John Goddard |
Inferring Rules for Finding Syllables in Spanish. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
syllabification, inducing rules, machine learning, ILP |
1 | Jun Kong, Jingdan Zhang, Yinghua Lu, Jianzhong Wang, Yanjun Zhou |
A Novel Approach for Adaptive Unsupervised Segmentation of MRI Brain Images. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ewa Madalinska-Bugaj, Witold Lukaszewicz |
Belief Revision Revisited. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Héctor Domínguez Sánchez, Luis Marcelo Fernández, José-Luis Aguirre, Leonardo Garrido, Ramón F. Brena |
Air Pollution Assessment Through a Multiagent-Based Traffic Simulation. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José Manuel Gómez Soriano, Manuel Montes-y-Gómez, Emilio Sanchis Arnal, Luis Villaseñor Pineda, Paolo Rosso |
Language Independent Passage Retrieval for Question Answering. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Carlos Segura, Robin W. Whitty |
Modelling Human Intelligence: A Learning Mechanism. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
learning, stability, graph, memory, Association network |
1 | Guillermo Morales-Luna |
Geometric Aspects Related to Solutions of #kSAT. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
Hypercube Geometry, SAT, Hypergraphs, Counting |
1 | J. Horacio Camacho, Abdellah Salhi, Qingfu Zhang 0001 |
A Graph Theoretic Approach to Key Equivalence. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel |
A Syntactical Approach to Belief Update. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Miklos Nagy, Maria Vargas-Vera, Enrico Motta |
Multi Agent Ontology Mapping Framework in the AQUA Question Answering System. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wenqi Shi, John A. Barnden |
Using Inductive Rules in Medical Case-Based Reasoning System. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson 0001, Raúl Monroy, Moises Alencastre-Miranda, Lourdes Muñoz-Gómez, Ricardo Swain Oropeza |
A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yuangui Li, Weidong Zhang 0004, Guoli Wang, Yunze Cai |
Simplify Decision Function of Reduced Support Vector Machines. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Sánchez, Raul Diaz, Peter Bock |
A CLS Hierarchy for the Classification of Images. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Sáez |
Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Leboeuf Pasquier |
Applying the GFM Prospective Paradigm to the Autonomous and Adaptative Control of a Virtual Robot. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Iván Chesñevar, Ramón F. Brena, José-Luis Aguirre |
Modelling Power and Trust for Knowledge Distribution: An Argumentative Approach. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
knowledge distribution, trust, multiagent systems, reputation, Argumentation |
1 | Juan Arturo Nolazco-Flores |
ASR Based on the Analasys of the Short-MelFrequencyCepstra Time Transform. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander L. Tulupyev, Sergey I. Nikolenko |
Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ramón F. Brena, Emmanuel Martinez |
Maximizing Future Options: An On-Line Real-Time Planning Method. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Muñoz-Salinas, Eugenio Aguirre, Miguel García-Silvente, Antonio González Muñoz |
People Detection and Tracking Through Stereo Vision for Human-Robot Interaction. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Delmas, Georgy L. Gimel'farb, Jiang Liu 0003, John Morris |
A Noise-Driven Paradigm for Solving the Stereo Correspondence Problem. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nobuo Inui, Yuji Shinano |
Minimizing State Transition Model for Multiclassification by Mixed-Integer Programming. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, Rafael M. Gasca |
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ildar Z. Batyrshin, Leonid Sheremetov |
Perception Based Time Series Data Mining with MAP Transform. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinemann |
The Topological Effect of Improving Knowledge Acquisition. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
modal logic and topology, completeness, spatial reasoning, Reasoning about knowledge |
1 | Mario Peña-Cabrera, Ismael López-Juárez, Reyes Rios-Cabrera, Jorge Corona Castuera, Román Osorio |
Mapping Visual Behavior to Robotic Assembly Tasks. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Barbosa Moratori, Adriano Joaquim de Oliveira Cruz, Laci Mary B. Manhães, Emília B. Ferreira, Márcia V. Pedro, Cabral Lima, Leila Cristina V. de Andrade |
Analysis of the Performance of Different Fuzzy System Controllers. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José Rodríguez, Abdellah Salhi |
Radial Search: A Simple Solution Approach to Hard Combinatorial Problems. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dora Luz Almanza-Ojeda, Víctor Ayala-Ramírez, Raúl Enrique Sánchez-Yáñez, Juan Gabriel Aviña-Cervantes |
Performance Evaluation of a Segmentation Algorithm for Synthetic Texture Images. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Marín-Hernández, Michel Devy, Víctor Ayala-Ramírez |
Visual Planning for Autonomous Mobile Robot Navigation. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Heinze, Daniel Ortiz Arroyo, Henrik Legind Larsen, Francisco Rodríguez-Henríquez |
Fuzzeval: A Fuzzy Controller-Based Approach in Adaptive Learning for Backgammon Game. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
machine learning, artificial neural networks, reinforcement learning, computer games, Fuzzy controller |
1 | Mingyang Gu |
Supporting Generalized Cases in Conversational CBR. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ajith Abraham, Crina Grosan, Sang-Yong Han, Alexander F. Gelbukh |
Evolutionary Multiobjective Optimization Approach for Evolving Ensemble of Intelligent Paradigms for Stock Market Modeling. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ja. Dikovsky |
Underspecified Semantics for Dependency Grammars. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Agustina Buccella, Alejandra Cechich, Nieves R. Brisaboa |
A Three-Level Approach to Ontology Merging. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Federico Guedea-Elizalde, Josafat M. Mata-Hernández, Rubén Morales-Menéndez |
CORBA Distributed Robotic System: A Case Study Using a Motoman 6-DOF Arm Manipulator. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, robotic, CORBA |
1 | Roberto Antonio Vázquez, Humberto Sossa, Ricardo Barrón |
Invariant Descriptions and Associative Processing Applied to Object Recognition Under Occlusions. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | JingHui Xiao, Bingquan Liu, Xiaolong Wang 0001, Bing Li |
A Similarity-Based Approach to Data Sparseness Problem of Chinese Language Modeling. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Modgil, Pancho Tolchinsky, Ulises Cortés |
Towards Formalising Agent Argumentation over the Viability of Human Organs for Transplantation. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Frank Emmert-Streib |
A Neurobiologically Motivated Model for Self-organized Learning. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José H. Espinosa, Henry Lieberman |
EventNet: Inferring Temporal Relations Between Commonsense Events. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hongbin Dong, Jun He 0004, Houkuan Huang, Wei Hou |
A Mixed Mutation Strategy Evolutionary Programming Combined with Species Conservation Technique. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Armando Robles, B. V. Pablo Noriega, Francisco J. Cantu, Rubén Morales-Menéndez |
Enabling Intelligent Organizations: An Electronic Institutions Approach for Controlling and Executing Problem Solving Methods. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Changjie Yu, Jihong Zhu 0001, Jianguo Che, Zengqi Sun |
Input-Output Data Modelling Using Fully Tuned RBF Networks for a Four Degree-of-Freedom Tilt Rotor Aircraft Platform. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roman van der Krogt, Mathijs de Weerdt |
Coordination Through Plan Repair. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yong He 0001, Min Huang |
A Grey-Markov Forecasting Model for the Electric Power Requirement in China. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hugo da Silva Corrêa Pinto, Luis Otávio Alvares |
An Extended Behavior Network for a Game Agent: An Investigation of Action Selection Quality and Agent Performance in Unreal Tournament. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hailong Yu, Wanli Zuo, Tao Peng 0003 |
A New PU Learning Algorithm for Text Classification. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo Ayala 0001, Magdalena Ortiz 0001, Mauricio Osorio 0001 |
Application of ASP for Agent Modelling in CSCL Environments. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang, Jixiang Jiang |
A Fuzzy Extension of Description Logic ALCH. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Blansché, Pierre Gançarski, Jerzy J. Korczak |
Genetic Algorithms for Feature Weighting: Evolution vs. Coevolution and Darwin vs. Lamarck. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Orion Fausto Reyes-Galaviz, Carlos A. Reyes García |
Infant Cry Classification to Identify Hypo Acoustics and Asphyxia Comparing an Evolutionary-Neural System with a Neural Network System. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
Infant Cry Analysis, Classification, Pattern Recognition, Feature Selection, Hybrid System, Evolutionary Strategies |
1 | Rodolfo A. Pazos Rangel, Joaquín Pérez Ortega, Juan Javier González Barbosa, Alexander F. Gelbukh, Grigori Sidorov, Myriam J. Rodríguez M. |
A Domain Independent Natural Language Interface to Databases Capable of Processing Complex Queries. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoyi Feng, Jie Cui, Matti Pietikäinen, Abdenour Hadid |
Real Time Facial Expression Recognition Using Local Binary Patterns and Linear Programming. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Julieta Noguez 0001, Luis Enrique Sucar |
A Semi-open Learning Environment for Virtual Laboratories. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vianey Guadalupe Cruz Sánchez, Gerardo Reyes Salgado, Osslan Osiris Vergara-Villegas, Joaquín Pérez Ortega, Azucena Montes Rendón |
Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Peña Ayala, Humberto Sossa, Agustin Gutiérrez |
Knowledge and Reasoning Supported by Cognitive Maps. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tiphaine Accary-Barbier, Sylvie Calabretto |
Temporal Reasoning on Chronological Annotation. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Terashima-Marín, Juan Manuel Tavernier-Deloya, Manuel Valenzuela-Rendón |
Scheduling Transportation Events with Grouping Genetic Algorithms and the Heuristic DJD. |
MICAI |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Elí Bulmaro Zenteno, Pablo H. Ibargüengoytia |
Knowledge Acquisition and Management System for an Intelligent Planner. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Horacio Martinez-Alfaro, Manuel Valenzuela-Rendón |
Using Simulated Annealing for Paper Cutting Optimization. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luis Torres-T |
GA with Exaptation: New Algorithms to Tackle Dynamic Problems. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Raúl Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Juan Humberto Sossa Azuela (eds.) |
MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nacwoo W. Kim, TaeYong Kim 0003, Jong-Soo Choi |
A Probability-Based Flow Analysis Using MV Information in Compressed Domain. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | María Auxilio Osorio Lama, David Pinto 0001 |
A Preprocessing That Combines Heuristic and Surrogate Constraint Analysis to Fix Variables in TSP. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
TSP problem, Surrogate Constraint Analysis, Preprocessing |
1 | Héctor Allende, Ricardo Ñanculef, Rodrigo Salas 0001 |
Robust Bootstrapping Neural Networks. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ieroham S. Baruch, Rafael Beltran Lopez, Jose-Luis Olivares, Ruben Garrido |
A Fuzzy-Neural Multi-model for Mechanical Systems Identification and Control. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Adolfo Guzmán-Arenas, Jesús-Manuel Olivares-Ceja |
Finding the Most Similar Concepts in Two Different Ontologies. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Trujillo-Romero, Víctor Ayala-Ramírez, Antonio Marín-Hernández, Michel Devy |
Active Object Recognition Using Mutual Information. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Morales-Menéndez, Ricardo Ramírez-Mendoza, Jim Mutch, Federico Guedea-Elizalde |
Toward a New Approach for Online Fault Diagnosis Combining Particle Filtering and Parametric Identification. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jin-Woo Song, Sung-Bong Yang |
A Faster Optimal Allocation Algorithm in Combinatorial Auctions. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kang Ryoung Park, Jaihie Kim |
Gaze Detection by Dual Camera and Dual IR-LED Illuminators. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
Dual Camera, Glasses Specular Reflection, Dual IR-LED Illuminators, Gaze Detection |
1 | Alfredo Sanchez-Lopez, Gustavo Arroyo-Figueroa, Alejandro Villavicencio Ramírez |
Intelligent Control Algorithm for Steam Temperature Regulation of Thermal Power Plants. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo Reyes Salgado, Bernard Amy |
Treatment of Gradual Knowledge Using Sigma-Pi Neural Networks. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Jalili-Kharaajoo, Hossein Rouhani |
Fuzzy Sliding Mode Control of Robotic Manipulators Based on Genetic Algorithms. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Oscar Olmedo-Aguirre, Karina Escobar-Vázquez, Giner Alor-Hernández, Guillermo Morales-Luna |
ADM: An Active Deductive XML Database System. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
XML, Semantic Web, Deductive Databases, Active Databases |
1 | Juan Gabriel Aviña-Cervantes, Michel Devy |
Scene Modeling by ICA and Color Segmentation. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ana Maria Madrigal, Jim Q. Smith |
Causal Identification in Design Networks. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
Design interventions and strategies, Identification of Policy Effects, Confounders, Directed Acyclic Graphs (DAGs), Influence diagrams, Causal inference, Bayesian decision theory |
1 | Baldramino Morales Sánchez, Pablo H. Ibargüengoytia |
Online Diagnosis Using Influence Diagrams. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen |
Invariant Patterns for Program Reasoning. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sung Baik, Jerzy W. Bala, Ali Hadjarian, Peter Pachowicz |
A Naïve Geography Analyst System with Cognitive Support of Imagery Exploitation. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Ibáñez 0001, Carlos Delgado-Mata, Ruth Aylett, Rocio Ruiz-Rodarte |
Don't You Escape! I'll Tell You My Story. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|