WorldCat Identities

Cantu-Ortiz, Francisco J. 1952-

Overview
Works: 70 works in 137 publications in 2 languages and 804 library holdings
Genres: Conference papers and proceedings  Academic theses 
Roles: Editor, Author, Other, htt
Publication Timeline
.
Most widely held works by Francisco J Cantu-Ortiz
MICAI 2000 : advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000 : proceedings by Mexican International Conference on Artificial Intelligence( )

10 editions published in 2000 in English and held by 213 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Mexican International Conference on Artificial Intelligence, MICAI 2000, held in Acapulco, Mexico, in April 2000. The 60 revised full papers presented with six invited contributions were carefully reviewed and selected from a total of 163 submissions from 17 countries. The book is divided into sections on knowledge representation and reasoning, robotics and computer vision, machine learning, neural networks, knowledge-based systems, speech recognition and natural language, multiagent systems, reasoning under uncertainty, and intelligent tutoring systems
Research analytics : boosting university productivity and competitiveness through scientometrics by Francisco J Cantu-Ortiz( )

14 editions published between 2017 and 2018 in English and held by 193 WorldCat member libraries worldwide

Data analytics and scientometrics : the emergence of research analytics / Francisco J. Cantú-Ortiz -- The web of science database / Joshua Schnell, David Pendlebury and James Testa -- A brief history of scopus : the world's largest abstract and citation database of scientific literature / M'hamed el Aisati and Michiel Schotten -- Google scholar : the "big data" bibliographic tool / Emilio Delgado López-Cózar, Enrique Orduna-Malea, Alberto Martín-Martín, and Juan M. Ayllón -- Institutional repositories / Marisol Ramírez and Hector Ceballos -- Academic ranking of world universities : methodologies and trends / Yan Wu and Nian Cai Liu -- QS world university ranking / Ben Sowter, David Reggio, and Shadi Hijazi -- Times higher education world university ranking / Duncan Ross -- The Scimago Institution ranking (SIR) : the most comprehensive ranking approach to the world of research institutions / Benjamín Vargas Quesada, Atilio Bustos-González, and Félix de Moya Anegón -- Knowledge distribution through the Web : the webometrics ranking / Bárbara Lancho -- U-multirank / Frans Kaiser and Nadine Zeeman -- US news best global university rankings / James Fangmeyer and Nathalie Galeano -- University performance in the age of research analytics / Francisco J. Cantú and James Fangmeyer
MICAI 2000 : Advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 2000 : proceedings by Mexican International Conference on Artificial Intelligence( Book )

5 editions published in 2000 in English and held by 169 WorldCat member libraries worldwide

Fifty years ago, A. Turing predicted that by 2000 we would have a machine that could pass the Turing test. Although this may not yet be true, AI has advanced signi?cantly in these 50 years, and at the dawn of the XXI century is still an activeandchallenging?eld. Thisyearisalsosigni?cantforAIinMexico, withthe merging of the two major AI conferences into the biennial Mexican International Conference on Arti?cial Intelligence (MICAI) series. MICAI is the union of the Mexican National AI Conference (RNIA) and the International AI Symposium (ISAI), organized annually by the Mexican Society forAI(SMIA, since1984)andbytheMonterreyInstituteofTechnology(ITESM, since1988), respectively. The?rstMexicanInternationalConferenceonArti?cial Intelligence, MICAI 2000, took place April 11-14, 2000, in the city of Acapulco, Mexico. ThisconferenceseekstopromoteresearchinAI, andcooperationamong Mexican researchers and their peers worldwide. We welcome you all. Over 163 papers from 17 di?erent countries were submitted for consideration to MICAI 2000. After reviewing them thoroughly, MICAI's program committee, referees, and program chair accepted 60 papers for the international track. This volume contains the written version of the papers and invited talks presented at MICAI. We would like to acknowledge the support of the American Association for Arti?cial Intelligence (AAAI), and the International Joint Conference on Art- cial Intelligence (IJCAI). We are specially grateful for the warm hospitality and generosity o?ered by the Acapulco Institute of Technology
Operational expert system applications in Mexico( Book )

3 editions published in 1991 in English and held by 59 WorldCat member libraries worldwide

MICAI 2000: Advances in Artificial Intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings by Osvaldo Cairó Battistutti( )

1 edition published in 2000 in English and held by 26 WorldCat member libraries worldwide

Application of advanced information technologies : ITESM Mexico City Campus, March 16-20, 1998, Mexico City by World Congress on Expert Systems( Book )

4 editions published in 1998 in English and held by 14 WorldCat member libraries worldwide

Proceedings -- Miscellaneous
Matemáticas, 1 by Guadalupe Almaguer( )

3 editions published between 1996 and 1999 in Spanish and English and held by 10 WorldCat member libraries worldwide

Proceedings, International Symposium on Artificial Intelligence : the Artificial Intelligence Technology Transfer Conference by International Symposium on Artificial Intelligence( Book )

6 editions published between 1991 and 1995 in Spanish and English and held by 10 WorldCat member libraries worldwide

Proceedings : IV International Symposium on Artificial Intelligence by Francisco J Cantu-Ortiz( Book )

8 editions published between 1989 and 1995 in Spanish and English and held by 10 WorldCat member libraries worldwide

Proceedings lSAl/IFIS 1996 : Mexico - USA collaboration in intelligent systems technologies : Cancun, Mexico, November 12-15, 1996( )

1 edition published in 2002 in English and held by 7 WorldCat member libraries worldwide

Experiments in automating hardware verification using inductive proof planning( Book )

1 edition published in 1996 in English and held by 7 WorldCat member libraries worldwide

Abstract: "We present a new approach to automating the verification of hardware designs based on planning techniques. A database of methods is developed that combines tactics, which construct proofs, using specifications of their behaviour. Given a verification problem, a planner uses the method database to build automatically a specialised tactic to solve the given problem. User interaction is limited to specifying circuits and their properties and, in some cases, suggesting lemmas. We have implemented our work in an extension of the Clam proof planning system. We report on this and its application to verifying a variety of combinational and synchronous sequential circuits including a parameterised multiplier design and a simple computer microprocessor."
Proceedings by Francisco J Cantu-Ortiz( Book )

7 editions published between 1989 and 1995 in 3 languages and held by 6 WorldCat member libraries worldwide

4th world congress on expert systems : applications of advanced information technologies by World Congress of Expert Systems( Book )

3 editions published in 1998 in English and held by 4 WorldCat member libraries worldwide

MICAI 2000 : Advances in Artificial Intelligence : Mexican International Conference on Artificial Intelligence, Acapulcco, Mexico, April 11-14, 2000, proceedings by Mexican International Conference on Artificial Intelligence( Book )

1 edition published in 1998 in English and held by 3 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Mexican International Conference on Artificial Intelligence, MICAI 2000, held in Acapulco, Mexico in April 2000. The 60 revised full papers presented with six invited contributions were carefully reviewed & selected from a total of 163 submissions from 17 countries. The book is divided in sections on knowledge representation & reasoning, robotics & computer vision, machine learning, neural networks, knowledge-based systems, speech recognition & natural language, multiagent systems, reasoning under uncertainty & intelligent tutoring systems
MICAI 2000: Advances in Artificial Intelligence by Mexican International Conference on Artificial Intelligence( Book )

3 editions published in 2000 in English and held by 3 WorldCat member libraries worldwide

International Symposium on Artificial Intelligence : the Artificial Intelligence Technology Transfer Conference : Monterrey, México, September 20-24, 1993 : proceedings by International Symposium on Artificial Intelligence( Book )

2 editions published in 1993 in English and held by 3 WorldCat member libraries worldwide

International Symposium on Artificial Intelligence : October 17-20, 1995, Monterrey, México : proceedings( Book )

2 editions published in 1995 in English and held by 3 WorldCat member libraries worldwide

International Symposium on Artificial Intelligence proceedings ; [ISAI] by International Symposium on Artificial Intelligence( Book )

2 editions published in 1991 in English and held by 2 WorldCat member libraries worldwide

40° Congreso de Investigación y Desarrollo : emprendimiento de base tecnológica, Compendio by Congreso de Investigación y Desarrollo( Book )

2 editions published between 2009 and 2010 in Spanish and held by 2 WorldCat member libraries worldwide

Real Time Monitoring and diagnosis in dynamic systems using particle filtering methods by Rubén Morales-Menéndez( Book )

2 editions published in 2003 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.38 for 4th world ... to 0.94 for MICAI 2000 ...)

MICAI 2000 : advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000 : proceedings MICAI 2000 : Advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 2000 : proceedings MICAI 2000 : Advances in Artificial Intelligence : Mexican International Conference on Artificial Intelligence, Acapulcco, Mexico, April 11-14, 2000, proceedings MICAI 2000: Advances in Artificial Intelligence
Covers
Research analytics : boosting university productivity and competitiveness through scientometricsMICAI 2000 : Advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 2000 : proceedingsApplication of advanced information technologies : ITESM Mexico City Campus, March 16-20, 1998, Mexico City4th world congress on expert systems : applications of advanced information technologiesMICAI 2000 : Advances in Artificial Intelligence : Mexican International Conference on Artificial Intelligence, Acapulcco, Mexico, April 11-14, 2000, proceedingsMICAI 2000: Advances in Artificial Intelligence
Alternative Names
Cantu, F. J. 1952-

Cantu, Francisco 1952-

Cantu, Francisco J.

Cantú, Francisco J., 1952-

Cantú-Ortiz, Francisco J., 1952-

Cantz, Francisco J. 1952-

Ortiz, Francisco J. 1952-

Ortiz, Francisco J. Cantú-, 1952-

Languages
English (63)

Spanish (16)