Author: Christian Lemaitre
Publisher: Springer
ISBN: 3540304983
Category : Computers
Languages : en
Pages : 1005
Book Description
This book constitutes the refereed proceedings of the 9th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2004, held in Puebla, Mexico in November 2004. The 97 revised full papers presented were carefully reviewed and selected from 304 submissions. The papers are organized in topical sections on distributed AI and multi-agent systems, knowledge engineering and case-based reasoning, planning and scheduling, machine learning and knowledge acquisition, natural language processing, knowledge representation and reasoning, knowledge discovery and data mining, robotics, computer vision, uncertainty and fuzzy systems, genetic algorithms and neural networks, AI in education, and miscellaneous topics.
Advances in Artificial Intelligence -- IBERAMIA 2004
Author: Christian Lemaitre
Publisher: Springer
ISBN: 3540304983
Category : Computers
Languages : en
Pages : 1005
Book Description
This book constitutes the refereed proceedings of the 9th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2004, held in Puebla, Mexico in November 2004. The 97 revised full papers presented were carefully reviewed and selected from 304 submissions. The papers are organized in topical sections on distributed AI and multi-agent systems, knowledge engineering and case-based reasoning, planning and scheduling, machine learning and knowledge acquisition, natural language processing, knowledge representation and reasoning, knowledge discovery and data mining, robotics, computer vision, uncertainty and fuzzy systems, genetic algorithms and neural networks, AI in education, and miscellaneous topics.
Publisher: Springer
ISBN: 3540304983
Category : Computers
Languages : en
Pages : 1005
Book Description
This book constitutes the refereed proceedings of the 9th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2004, held in Puebla, Mexico in November 2004. The 97 revised full papers presented were carefully reviewed and selected from 304 submissions. The papers are organized in topical sections on distributed AI and multi-agent systems, knowledge engineering and case-based reasoning, planning and scheduling, machine learning and knowledge acquisition, natural language processing, knowledge representation and reasoning, knowledge discovery and data mining, robotics, computer vision, uncertainty and fuzzy systems, genetic algorithms and neural networks, AI in education, and miscellaneous topics.
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Author: Jaime Simao Sichman
Publisher: Springer Science & Business Media
ISBN: 3540454624
Category : Computers
Languages : en
Pages : 656
Book Description
This book constitutes the refereed proceedings of the 2nd International Joint Conference of the 10th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2006, and the 18th Brazilian Artificial Intelligence Symposium, SBIA 2006. The book presents 62 revised full papers together with 4 invited lectures. Topical sections include AI in education and intelligent tutoring systems, autonomous agents and multiagent systems, computer vision and pattern recognition, evolutionary computation and artificial life, and more.
Publisher: Springer Science & Business Media
ISBN: 3540454624
Category : Computers
Languages : en
Pages : 656
Book Description
This book constitutes the refereed proceedings of the 2nd International Joint Conference of the 10th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2006, and the 18th Brazilian Artificial Intelligence Symposium, SBIA 2006. The book presents 62 revised full papers together with 4 invited lectures. Topical sections include AI in education and intelligent tutoring systems, autonomous agents and multiagent systems, computer vision and pattern recognition, evolutionary computation and artificial life, and more.
Formal Methods in Computer-aided Design
Author:
Publisher:
ISBN: 9788354030492
Category : Digital integrated circuits
Languages : en
Pages : 0
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004. The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.
Publisher:
ISBN: 9788354030492
Category : Digital integrated circuits
Languages : en
Pages : 0
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004. The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.
Advances in Artificial Intelligence -- IBERAMIA 2012
Author: Juan Pavón
Publisher: Springer
ISBN: 3642346545
Category : Computers
Languages : en
Pages : 768
Book Description
This book constitutes the refereed proceedings of the 13th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2012, held in Cartagena de Indias, Colombia, in November 2012. The 75 papers presented were carefully reviewed and selected from 170 submissions. The papers are organized in topical sections on knowledge representation and reasoning, information and knowledge processing, knowledge discovery and data mining, machine learning, bio-inspired computing, fuzzy systems, modelling and simulation, ambient intelligence, multi-agent systems, human-computer interaction, natural language processing, computer vision and robotics, planning and scheduling, AI in education, and knowledge engineering and applications.
Publisher: Springer
ISBN: 3642346545
Category : Computers
Languages : en
Pages : 768
Book Description
This book constitutes the refereed proceedings of the 13th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2012, held in Cartagena de Indias, Colombia, in November 2012. The 75 papers presented were carefully reviewed and selected from 170 submissions. The papers are organized in topical sections on knowledge representation and reasoning, information and knowledge processing, knowledge discovery and data mining, machine learning, bio-inspired computing, fuzzy systems, modelling and simulation, ambient intelligence, multi-agent systems, human-computer interaction, natural language processing, computer vision and robotics, planning and scheduling, AI in education, and knowledge engineering and applications.
Advances in Artificial Intelligence - IBERAMIA 2004
Author: Christian Lemaître
Publisher:
ISBN:
Category :
Languages : en
Pages : 987
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 987
Book Description
MICAI 2005: Advances in Artificial Intelligence
Author: Alexander Gelbukh
Publisher: Springer
ISBN: 3540316531
Category : Computers
Languages : en
Pages : 1223
Book Description
This book constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held in Monterrey, Mexico, in November 2005. The 120 revised full papers presented were carefully reviewed and selected from 423 submissions. The papers are organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, computer vision and pattern recognition, machine learning and data mining, evolutionary computation and genetic algorithms, neural networks, natural language processing, intelligent interfaces and speech processing, bioinformatics and medical applications, robotics, modeling and intelligent control, and intelligent tutoring systems.
Publisher: Springer
ISBN: 3540316531
Category : Computers
Languages : en
Pages : 1223
Book Description
This book constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held in Monterrey, Mexico, in November 2005. The 120 revised full papers presented were carefully reviewed and selected from 423 submissions. The papers are organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, computer vision and pattern recognition, machine learning and data mining, evolutionary computation and genetic algorithms, neural networks, natural language processing, intelligent interfaces and speech processing, bioinformatics and medical applications, robotics, modeling and intelligent control, and intelligent tutoring systems.
Advances in Artificial Intelligence - IBERAMIA 2010
Author: Angel Kuri-Morales
Publisher: Springer Science & Business Media
ISBN: 3642169511
Category : Computers
Languages : en
Pages : 622
Book Description
This book constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bahía Blanca, Argentina, in November 2010. The 61 papers presented were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections on artificial intelligence in education, cognitive modeling and human reasoning, constraint satisfaction, evolutionary computation, information, integration and extraction, knowledge acquisition and ontologies, knowledge representation and reasoning, machine learning and data mining, multiagent systems, natural language processing, neural networks, planning and scheduling, probabilistic reasoning, search, and semantic web.
Publisher: Springer Science & Business Media
ISBN: 3642169511
Category : Computers
Languages : en
Pages : 622
Book Description
This book constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bahía Blanca, Argentina, in November 2010. The 61 papers presented were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections on artificial intelligence in education, cognitive modeling and human reasoning, constraint satisfaction, evolutionary computation, information, integration and extraction, knowledge acquisition and ontologies, knowledge representation and reasoning, machine learning and data mining, multiagent systems, natural language processing, neural networks, planning and scheduling, probabilistic reasoning, search, and semantic web.
Advances in Artificial Life
Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 988
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 988
Book Description
Progress in Artificial Intelligence
Author: Carlos Bento
Publisher: Springer
ISBN: 3540316469
Category : Computers
Languages : en
Pages : 708
Book Description
This book constitutes the refereed proceedings of the 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, held in Covilhã, Portugal in December 2005 as nine integrated workshops. The 58 revised full papers presented were carefully reviewed and selected from a total of 167 submissions. In accordance with the nine constituting workshops, the papers are organized in topical sections on general artificial intelligence (GAIW 2005), affective computing (AC 2005), artificial life and evolutionary algorithms (ALEA 2005), building and applying ontologies for the semantic Web (BAOSW 2005), computational methods in bioinformatics (CMB 2005), extracting knowledge from databases and warehouses (EKDB&W 2005), intelligent robotics (IROBOT 2005), multi-agent systems: theory and applications (MASTA 2005), and text mining and applications (TEMA 2005).
Publisher: Springer
ISBN: 3540316469
Category : Computers
Languages : en
Pages : 708
Book Description
This book constitutes the refereed proceedings of the 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, held in Covilhã, Portugal in December 2005 as nine integrated workshops. The 58 revised full papers presented were carefully reviewed and selected from a total of 167 submissions. In accordance with the nine constituting workshops, the papers are organized in topical sections on general artificial intelligence (GAIW 2005), affective computing (AC 2005), artificial life and evolutionary algorithms (ALEA 2005), building and applying ontologies for the semantic Web (BAOSW 2005), computational methods in bioinformatics (CMB 2005), extracting knowledge from databases and warehouses (EKDB&W 2005), intelligent robotics (IROBOT 2005), multi-agent systems: theory and applications (MASTA 2005), and text mining and applications (TEMA 2005).
Toward Artificial Sapience
Author: Rene V. Mayorga
Publisher: Springer Science & Business Media
ISBN: 184628998X
Category : Computers
Languages : en
Pages : 240
Book Description
A diverse international set of authors discuss Artificial/Computational Sapience and Sapient Systems in this unique and useful volume. The reader is guided through the subject in a structured and comprehensive manner that begins with chapters discussing philosophical, historical, and semiotic ideas about what properties are expected from Sapient (Wise) systems. Following that, chapters describe mathematical and engineering views on sapience, relating these to philosophical, semiotic, cognitive, and neuro-biological perspectives.
Publisher: Springer Science & Business Media
ISBN: 184628998X
Category : Computers
Languages : en
Pages : 240
Book Description
A diverse international set of authors discuss Artificial/Computational Sapience and Sapient Systems in this unique and useful volume. The reader is guided through the subject in a structured and comprehensive manner that begins with chapters discussing philosophical, historical, and semiotic ideas about what properties are expected from Sapient (Wise) systems. Following that, chapters describe mathematical and engineering views on sapience, relating these to philosophical, semiotic, cognitive, and neuro-biological perspectives.