You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010. All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7 were accepted. MKM 2010 received 27 submissions, of which 16 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.
The work on Autonomic Road Transport Support (ARTS) presented here aims at meeting the challenge of engineering autonomic behavior in Intelligent Transportation Systems (ITS) by fusing research from the disciplines of traffic engineering and autonomic computing. Ideas and techniques from leading edge artificial intelligence research have been adapted for ITS over the last 30 years. Examples include adaptive control embedded in real time traffic control systems, heuristic algorithms (e.g. in SAT-NAV systems), image processing and computer vision (e.g. in automated surveillance interpretation). Autonomic computing which is inspired from the biological example of the body’s autonomic nervous ...
This book constitutes the refereed proceedings of the 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, held in Salamanca, Spain, in November 2007, in conjunction with the 7th Workshop on Artificial Intelligence Technology Transfer, TTIA 2007. The 28 revised full papers presented address all current issues of artificial intelligence ranging from methodological and foundational aspects to advanced applications in various fields.
The book reports on cutting-edge Artificial Intelligence (AI) theories and methods aimed at the control and coordination of agents acting and moving in a dynamic environment. It covers a wide range of topics relating to: autonomous navigation, localization and mapping; mobile and social robots; multiagent systems; human-robot interaction; perception systems; and deep-learning techniques applied to the robotics. Based on the 21st edition of the International Workshop of Physical Agents (WAF 2020), held virtually on November 19-20, 2020, from Alcalá de Henares, Madrid, Spain, this book offers a snapshot of the state-of-the-art in the field of physical agents, with a special emphasis on novel AI techniques in perception, navigation and human robot interaction for autonomous systems.
M-health can be defined as the ‘emerging mobile communications and network technologies for healthcare systems.' This book paves the path toward understanding the future of m-health technologies and services and also introducing the impact of mobility on existing e-health and commercial telemedical systems. M-Health: Emerging Mobile Health Systems presents a new and forward-looking source of information that explores the present and future trends in the applications of current and emerging wireless communication and network technologies for different healthcare scenaria. It also provides a discovery path on the synergies between the 2.5G and 3G systems and other relevant computing and info...
This book constitutes the refereed proceedings of the 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, held in La Laguna, Canary Islands, Spain, in November 2011. The 50 revised full papers presented were carefully selected from 149 submissions. The papers are organized in topical sections on agent-based and multi-agent systems; machine learning; knowledge representation, logic, search and planning; multidisciplinary topics and applications; vision and robotics; soft computing; Web intelligence and information retrieval.
The book reports on cutting-edge theories and methods aimed at the control and coordination of agents acting and moving in a dynamic environment. It covers a wide range of systems, including multiagent systems, domotic agents, robotic manipulators, soccer robots, autonomous and semiautonomous robots, as well as systems for industrial applications. Advances in software agents, sensors, computer visions and other related areas are also thoroughly discussed and presented in detail. Based on the 19th edition of the International Workshop of Physical Agents (WAF 2018), held on November 22-23, 2018, in Madrid, Spain, this book offers a snapshot of the state-of-the-art in the field of physical agents, with a special emphasis on autonomous systems such as mobile robots, industrial process or other complex systems.
This book constitutes the refereed post-conference proceedings of the First International Conference on Smart Cities, Infrastructures, Technologies and Applications, SCITA 2017, held in Jeddah, Saudi Arabia, in November 2017. The 35 revised full papers were carefully reviewed and selected from 62 submissions. The papers are grouped in topical sections: infrastructure track, e-governance and transportation track, healthcare track, applications track.
This book gathers a selection of papers presented at ROBOT 2019 – the Fourth Iberian Robotics Conference, held in Porto, Portugal, on November 20th–22nd, 2019. ROBOT 2019 is part of a series of conferences jointly organized by the SPR – Sociedade Portuguesa de Robótica (Portuguese Society for Robotics) and SEIDROB – Sociedad Española para la Investigación y Desarrollo en Robótica (Spanish Society for Research and Development in Robotics). ROBOT 2019 built upon several previous successful events, including three biannual workshops and the three previous installments of the Iberian Robotics Conference, and chiefly focused on presenting the latest findings and applications in robotics from the Iberian Peninsula, although the event was also open to research and researchers from other countries. The event featured five plenary talks on state-of-the-art topics and 16 special sessions, plus a main/general robotics track. In total, after a stringent review process, 112 high-quality papers written by authors from 24 countries were selected for publication.