Advances in Artificial Intelligence -- IBERAMIA 2004


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


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


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


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 2010


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.




Artificial Intelligence Research and Development


Book Description

There was a time when AI was seen by many as science fiction, i.e., the healthy endeavour of speculating about the future. Now the future is here. AI has passed from being a visionary discipline to lying at the core of many commercial enterprises. AI programs scattered through the web influence nowadays our lives: by extracting profiles and offering tailored advertisement, helping us in our searches, establishing social networks, providing entertainment...And not just in the net, but also in the physical world. In Japan there are robots that guide customers through marketplaces advising them where to find the product matching their needs, and realistic replicas of university professors allow them to teach their lectures a hundred kilometres away from the classroom. Not to speak about intelligent prostheses and remote high-precision surgery. In the Catalan-speaking world there are no robots in marketplaces yet, but it is coming. Recently, the first commercial humanoid robot was built. Since AI technology is becoming reasonably mature, companies are progressively relying on it. The Catalan Association for Artificial Intelligence (ACIA) tries to promote synergies within the research community and also between the different actors playing a role in the development of AI: from universities to industry, from governmental departments to the information society, from entertainment enterprises to citizen services.




Advances in Artificial Intelligence -- IBERAMIA 2012


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


Book Description

This book constitutes the refereed proceedings of the 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, held in London, Ontario, Canada in May 2004. The 29 revised full papers and 22 revised short papers were carefully reviewed and selected from 105 submissions. These papers are presented together with the extended abstracts of 14 contributions to the graduate students' track. The full papers are organized in topical sections on agents, natural language processing, learning, constraint satisfaction and search, knowledge representation and reasoning, uncertainty, and neural networks.




Advances in Machine Learning and Signal Processing


Book Description

This book presents important research findings and recent innovations in the field of machine learning and signal processing. A wide range of topics relating to machine learning and signal processing techniques and their applications are addressed in order to provide both researchers and practitioners with a valuable resource documenting the latest advances and trends. The book comprises a careful selection of the papers submitted to the 2015 International Conference on Machine Learning and Signal Processing (MALSIP 2015), which was held on 15–17 December 2015 in Ho Chi Minh City, Vietnam with the aim of offering researchers, academicians, and practitioners an ideal opportunity to disseminate their findings and achievements. All of the included contributions were chosen by expert peer reviewers from across the world on the basis of their interest to the community. In addition to presenting the latest in design, development, and research, the book provides access to numerous new algorithms for machine learning and signal processing for engineering problems.