th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16–18, 2009. The Federation of International Robosoccer Association (FIRA – www. fira. net) is ...
详细信息
ISBN:
(数字)9783642039867
ISBN:
(纸本)9783642039850
th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16–18, 2009. The Federation of International Robosoccer Association (FIRA – www. fira. net) is a non-profit organization, which organizes robotic competitions and meetings around the globe annually. The RoboSoccer competitions started in 1996 and FIRA was - tablished on June 5, 1997. The Robot Soccer competitions are aimed at promoting the spirit of science and technology to the younger generation. The congress is a forum in which to share ideas and future directions of technologies, and to enlarge the human networks in robotics area. The objectives of the FIRA Cup and Congress are to explore the technical dev- opment and achievement in the field of robotics, and provide participants with a robot festival including technical presentations, robot soccer competitions and exhibits - der the theme “Where Theory and Practice Meet. ” th Under the umbrella of the 12 FIRA RoboWorld Incheon Congress 2009, six int- national conferences were held for greater impact and scientific exchange: th • 6 International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS) th • 5 International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE) • International Conference on Social Robotics (ICSR) • International Conference on Advanced Humanoid Robotics Research (ICAHRR) • International Conference on Entertainment Robotics (ICER) • International Robotics Education Forum (IREF) This volume consists of selected quality papers from the six conferences.
ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on October 27–29, 2002. FQAS is the premier conference for researchers a...
详细信息
ISBN:
(数字)9783540361091
ISBN:
(纸本)9783540000747
ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on October 27–29, 2002. FQAS is the premier conference for researchers and practitioners concerned with the vital task of providing easy, ?exible, and intuitive access to information for every type of need. This multidisciplinary conference draws on several re- arch areas, including databases, information retrieval, knowledge representation, soft computing, multimedia, and human–computer interaction. Previous FQAS events were held in 1994, 1996, 1998, and 2000. The overall theme of the FQAS conferences is innovative query systems - medatprovidingeasy,?exible,*** are intended to facilitate retrieval from information repositories such as data- ses,libraries,*** with standard query systems which are often inadequate, and the focus of FQAS is the development of query systems that are more expressive, informative, c- perative, and productive. These proceedings contain 29 original papers that relate to the topic of users posing queries and systems producing answers. The papers cover the ?elds: - tabase Management, Information Retrieval, Domain Modeling, Knowledge - presentation and Ontologies, Knowledge Discovery and Data Mining, Arti?cial Intelligence, Classical and Non-classical Logics, Computational Linguistics and Natural Language Processing, Multimedia Information Systems, and Human– computer Interaction. We wish to thank the contributors for their excellent papers and the referees, publisher, and sponsors for their e?ort. Special thanks also to the invited sp- kers, members of the Advisory Board, and members of theProgram Committee. They made the success of FQAS 2002 possible.
This book constitutes the refereed proceedings of the 12th International;Conference on Formal engineering Methods, ICFEM 2010, held in Shanghai, China,;November 2010.;The 42 revised full papers together with 3 invited...
详细信息
ISBN:
(数字)9783642169014
ISBN:
(纸本)9783642169007
This book constitutes the refereed proceedings of the 12th International;Conference on Formal engineering Methods, ICFEM 2010, held in Shanghai, China,;November 2010.;The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in softwareengineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and mod;el driven engineering, as well as specification and verification.
This book grew out of the First Symposium on the Personal Web, co-located with CASCON 2010 in Markham, Ontario, Canada. The purpose of the symposium was to bring together prominent researchers and practitioners from a...
详细信息
ISBN:
(数字)9783642399954
ISBN:
(纸本)9783642399947
This book grew out of the First Symposium on the Personal Web, co-located with CASCON 2010 in Markham, Ontario, Canada. The purpose of the symposium was to bring together prominent researchers and practitioners from a diverse range of research areas relevant to the advancement of science and practice relating to the Personal Web. Research on the Personal Web is an outgrowth of the Smart Internet initiative, which seeks to extend and transform the web to be centred on the user, with the web as a calm platform ubiquitously providing cognitive support to its user and his or her tasks. As with the preceding SITCON workshop (held at CASCON 2009), this symposium involved a multi-disciplinary effort that brought together researchers and practitioners in data integration; web services modelling and architecture; human-computer interaction; predictive analytics; cloud infrastructure; semantics and ontology; and industrial application domains such as health care and finance.
The discussions during the symposium dealt with different aspects of the architecture and functionality needed to make the Personal Web a reality. After the symposium the authors reworked their presentations into draft chapters that were submitted for peer evaluation and review. Every chapter went through two rounds of reviewing by at least two independent expert reviewers, and accepted chapters were then revised and are presented in this book.
暂无评论