This paper is concerned with an improved feasible sequential quadratic programming (FSQP) method which solves an inequality constrained nonlinear optimization problem. As compared with the existing SQP methods, at eac...
详细信息
Satisfiability solvers targeting industrial instances are currently almost always based on conflict-driven clause learning (CDCL) [5]. This technique can successfully solve very large instances. Yet on small, hard pro...
详细信息
The proceedings contain 22 papers. The topics discussed include: health games: taxonomy analysis and multiplayer design suggestions;a serious game for training balance control over different types of soil;construction...
ISBN:
(纸本)9783642336867
The proceedings contain 22 papers. The topics discussed include: health games: taxonomy analysis and multiplayer design suggestions;a serious game for training balance control over different types of soil;constructionist learning in anatomy education: what anatomy students can learn through serious games;interdisciplinary and international adaption and personalization of the metavals serious games;serious games adoption in corporate training;towards participative and knowledge-intensive serious games;towards designing for competence and engagement in serious games;lessons learnt from contextualized interactive story driven development methodology;value propositions for serious games in health and well-being;dealing with threshold concepts in serious games for competence development;Betaville - a massively participatory mirror world game;and squaring and scripting the ESP game: trimming a GWAP to deep semantics.
In order to extend the trust domain that user locates, a new identity manage framework based on OpenID standards is designed to build a contact mechanism for different identity providers. It is composed of two OpenID ...
详细信息
Estonia has implemented internet voting as a method to participate in various types of elections since 2005. In Riigikogu (parliament) Elections of 2011, over 140,000 voters used the internet voting method. The share ...
详细信息
Concise representations for state spaces in a conformant planning task based on the finite-domain representations are presented. The problems that literals in the finite-domain representations never used in a conforma...
详细信息
This paper presents a motion planning algorithm of static walking gait for a quadruped robot. First, the kinematics and dynamics equations of quadruped are built which can be used to research legged locomotion. Based ...
详细信息
In this paper, we describe an approach to modelling competences as learning resources in a serious game environment, where competences are described in detail to identify observable behavioural indicators. This enable...
详细信息
Occupation burnout has recently been a fascinating topic in research fields like management and psychology. Due to work pressure and other reasons, college teachers' occupation burnout catches more concerns than e...
详细信息
The Generic Authentication Architecture (GAA) is a standardised extension to the mobile telephony security infrastructures (including the Universal Mobile Telecommunications System (UMTS) authentication infrastructure...
详细信息
暂无评论