Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

MICAI

MICAI (short for Mexican International Conference on Artificial Intelligence) is the name of an annual conference covering all areas of Artificial… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
This special issue of the Journal Computing offers original contributions in all areas of artificial intelligence. Most of the… Expand
Is this relevant?
Review
2014
Review
2014
This article presents an overview, analysis and benchmark of the best-known artificial intelligence (AI) conferences, including… Expand
Is this relevant?
2008
2008
Domain experts should provide relevant domain knowledge to an Intelligent Tutoring System (ITS) so that it can guide a learner… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2005
Review
2005
Knowledge Representation and Management.- Modelling Human Intelligence: A Learning Mechanism.- Compilation of Symbolic Knowledge… Expand
Is this relevant?
2005
2005
The wear properties of pattern painting fabrics are tested.The results showed that the related parameters can satisfy the special… Expand
Is this relevant?
2004
2004
Most modern lossless data compression techniques used today, are based in dictionaries. If some string of data being compressed… Expand
  • figure 11
  • table 6
  • table 7
  • table 10
  • table 11
Is this relevant?
2004
2004
Applications.- Pattern-Based Data Compression.- Using Simulated Annealing for Paper Cutting Optimization.- Extracting Temporal… Expand
Is this relevant?
2002
2002
In this paper we describe an approach to probabilistic roadmap method. Our algorithm builds initially a roadmap in the… Expand
  • figure 9
  • figure 12
  • figure 17
  • figure 9
  • figure 7
Is this relevant?
2002
2002
Robotics and Computer Vision.- Motion Planning for Car-Like Robots Using Lazy Probabilistic Roadmap Method.- A Vision System for… Expand
Is this relevant?
2000
2000
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a… Expand
  • table 6
  • figure 12
  • figure 12
  • figure 13
  • figure 12
Is this relevant?