Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchst...
详细信息
ISBN:
(数字)9783642780196
ISBN:
(纸本)9783540563549
Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktion als Beweisprinzip und die Rekursion als Konstruktionsprinzip die beiden grundlegenden Werkzeuge für den Umgang mit Zahlen und Funktionen. Obwohl über eine gewisse Vertrautheit mit der mathematischen Argumentationsweise hinaus keine inhaltlichen Kenntnisse aus der Mathematik oder der Informatik vorausgesetzt werden, findet auch der Kenner eine durch viele neuartige Details angereicherte und an neuesten Ergebnissen orientierte Darstellung.
The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:;Part III: Perception and Manipulation of Dexterous Hand for H...
详细信息
ISBN:
(数字)9789819964956
ISBN:
(纸本)9789819964949
The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:;Part III: Perception and Manipulation of Dexterous Hand for humanoid Robot; Medical Imaging for Biomedical Robotics; Advanced Underwater Robot Technologies; Innovative Design and Performance Evaluation of Robot Mechanisms; Evaluation of Wearable Robots for Assistance and Rehabilitation; 3D Printing Soft Robots.
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012. The 70 research papers...
详细信息
ISBN:
(数字)9783642353772
ISBN:
(纸本)9783642353765
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012. The 70 research papers were carefully reviewed and selected from various submissions. The main focus of this book has been to explore how Ambient Intelligence can contribute towards smarter but still more sustainable environments. Beyond sustainable computing the proceedings also include research work describing progress on other key research topics for AmI such as human environment mobile-mediated (through NFC or AR) interaction, artificial intelligence techniques to foster user- and context-aware environment adaptation, future internet trends such as social networks analysis, linked data or crowd-sourcing applied to AmI, internet-connected object ecosystems collaborating to give place to smarter environments.
The 12th International Conference on human-computerinteraction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22–27 July 2007, jointly with the Symposium on human Interface (Japan) 2007, the 7th Internati...
详细信息
ISBN:
(数字)9783540732839
ISBN:
(纸本)9783540732822
The 12th International Conference on human-computerinteraction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22–27 July 2007, jointly with the Symposium on human Interface (Japan) 2007, the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, the 4th International Conference on Universal Access in human-computerinteraction, the 2nd International Conf- ence on Virtual Reality, the 2nd International Conference on Usability and Inter- tionalization, the 2nd International Conference on Online Communities and Social Computing, the 3rd International Conference on Augmented Cognition, and the 1st International Conference on Digital human Modeling. A total of 3403 individuals from academia, research institutes, industry and g- ernmental agencies from 76 countries submitted contributions, and 1681 papers, judged to be of high scientific quality, were included in the program. These papers address the latest research and development efforts and highlightthe human aspects of design and use of computing systems. The papers accepted for presentation th- oughly cover the entire field of human-computerinteraction, addressing major - vances in knowledge and effective use of computers in a variety of application areas. This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in humancomputerinteraction, addressing the following major topics: • Web and Media Accessibility and Usability • Universal Access to Information and Communication • Learning and Entertainment • Universal Access to eServices
Automatednegotiationis arguedto improvenegotiationoutcomes and reduce tra- action costs in electronic business and to enable sophisticated cooperation and - ordination between software agents in autonomous systems. Ho...
详细信息
Automatednegotiationis arguedto improvenegotiationoutcomes and reduce tra- action costs in electronic business and to enable sophisticated cooperation and - ordination between software agents in autonomous systems. However, due to the youth of the ?eld operative systems do not yet exist and scholars rely on simulation studies to evaluate potential system con?gurations for automated negotiation. We review the state of the art literature on simulation of automated negotiationalong its main components: the negotiation problem, the interaction protocol, and the so- ware agents. De?ciencies of existing approaches concerning the practical appli- tion in an open environment as the Internet, where automated negotiation proceeds fast, with different opponents, and for various negotiation problems, are identi?ed. To address these de?ciencies we model and simulate automated negotiation s- tems consisting of software agents and interaction protocols, which were proposed in negotiation and game theoretic mechansim design literature but not used in s- ulations yet. The proposed software agents follow generic offer generation and c- cession strategies and are governed by interaction protocols that allow agents to interrupt their strategy to avoid exploitation and unfavorable agreements. The - put for these automated negotiation systems are preferences elicited from human in negotiation experiments to guarantee realistically complex and diverse negot- tion problems. Simulation outcomes are compared across the different systems and to the results of the negotiation experiments along various outcome dimensions – proportion of (Pareto-optimal) agreements, dyadic and individual performance, and fairness.
暂无评论