Future pervasive networks will be constructed by various access networks, which will be managed by different operators. Host-based mobility mechanisms are promising for achieving efficient mobile computing in such an ...
详细信息
Future pervasive networks will be constructed by various access networks, which will be managed by different operators. Host-based mobility mechanisms are promising for achieving efficient mobile computing in such an environment, because of their ability to handle the multihomed environment. However, the impact of switching network media will significantly degrade performance of communications with large RTT and high moving intensity. Therefore, we propose an adaptive handover scheme on host-based mobility to mitigate the impact of the switching media under such circumstances. This scheme switches the way of handover according to the network conditions. Furthermore, we demonstrate the effectiveness of the proposed scheme through simulation results
The goal of this workshop is to address the darker side of HCI by examining how computers sometimes bring about the expression of negative emotions. In particular, we are interested in the phenomenon of human beings a...
详细信息
ISBN:
(纸本)1595932984
The goal of this workshop is to address the darker side of HCI by examining how computers sometimes bring about the expression of negative emotions. In particular, we are interested in the phenomenon of human beings abusing computers. Such behavior can take many forms, ranging from the verbal abuse of conversational agents to physical attacks on the hardware. In some cases, particularly in the case of embodied conversational agents, there are questions about how the machine should respond to verbal assaults. This workshop is also interested in understanding the psychological underpinnings of negative behavior involving computers. In this regard, we are interested in exploring how HCI factors influence human-to-human abuse in computer-mediated communication. The overarching objective of this workshop is to sketch a research agenda on the topic of the misuse and abuse of interactive technologies that will lead to design solutions capable of protecting users and restraining disinhibited behaviors.
Use of multiple autonomous robots for practical applications has become more important over the years [1][2][3][4]. The potential for applications of collective robotics is high, in particular in the aerospace environ...
详细信息
ISBN:
(纸本)9290929413
Use of multiple autonomous robots for practical applications has become more important over the years [1][2][3][4]. The potential for applications of collective robotics is high, in particular in the aerospace environment. SciSys has been involved in the development of Planetary Aerobots (funded by ESA) for use on Mars and has developed image-based localisation technology as part of the activity. It is however possible to use the Aerobots in a different environment to investigate issues in regard with robotics behaviour such as data handling, communications, limited processing power, limited sensors, GNC, etc. This paper summarises the activity where Aerobot platform was used to investigate the use of multiple autonomous Unmanned Underwater Vehicles (UUVs), basically simulating their movement and behaviour. The main purpose of the Multiple UUV Operations (MuOps) project within the BAUUV1 program was to identify and de-risk critical UUV components and raise the technology readiness level of the components required for the operation of multiple cooperative vehicles. This paper reports the computer simulations and the real-world tests and the lessons learnt from them.
This paper addresses functional modelling of complex distributed systems via an objective and automatic procedure. The presented methodology uses the structural representation of the system and the notion of causality...
详细信息
This paper addresses functional modelling of complex distributed systems via an objective and automatic procedure. The presented methodology uses the structural representation of the system and the notion of causality in structural graphs. The result of the procedure is a functional tree representing hierarchical relations among the system functionalities.
The algorithmic form of GAs conforms well to SIMD computing environments with relatively minor adjustments to the operators. In this paper we consider in detail a GA implementation on a MasPar machine. The question of...
详细信息
We present experimental evidence for the formation of nonlinear X-waves in AlGaAs waveguide arrays. These results agree with numerical simulations based on the discrete nonlinear Schrödinger equation with an appr...
详细信息
We present experimental evidence for the formation of nonlinear X-waves in AlGaAs waveguide arrays. These results agree with numerical simulations based on the discrete nonlinear Schrödinger equation with an appr...
详细信息
A useful learning system for human motion characters of traditional arts, such as Mai (Japanese classic dance), Kabuki (one of Japan's traditional stage arts), etc., is being developed. In such arts an effective s...
详细信息
ISBN:
(纸本)1595933212
A useful learning system for human motion characters of traditional arts, such as Mai (Japanese classic dance), Kabuki (one of Japan's traditional stage arts), etc., is being developed. In such arts an effective system to pass the tradition down from a top artist to next generations is required. Video contents are generally used to pass the human motions in traditional arts down for non-experts. However, the video contents normally show the human motions as the views from a single direction. If the human motions are presented from orthogonal three-directions at the same time, it comes more useful. So, our learning system produces the three-dimensional human motion by the sequences of views from a single direction in the video contents, then, the motions from any directions can be presented simultaneously with the video *** addition, a learner can check the difference in motion between a top artist and him/herself by the producing his/her three-dimensional skeleton motion with our system and the overlapping it with one of the top artist. Here, in the comparison between two different physiques (a top artist and a learner) a simple adjustment method is *** our study standard motion capture processes are employed, but our goal is to develop an original practical training system of performers' motion for beginners in traditional arts. In this paper the developing system is demonstrated for Kyo-mai (Mai originated in Kyoto) as example. The developing system can be useful not only in performing arts but also in industry or in sports. Copyright 2006 ACM.
In this chapter an introduction to model checking and model learning was given. Furthermore, it was shown how to combine both techniques to an approach in which properties of a SUT are verified directly. First of all ...
详细信息
ISBN:
(纸本)3540262784
In this chapter an introduction to model checking and model learning was given. Furthermore, it was shown how to combine both techniques to an approach in which properties of a SUT are verified directly. First of all we have presented Kripke transition systems which build a simple basis for temporal logics used in model checking. The essential difference between linear time logics and branching time logics was made plain on the basis of an example. Subsequently we presented linear time logic (LTL) and computational tree logic (CTL) which are widely used for model checking purposes. Since the combination of model checking and model learning for testing purposes is only meaningful with linear time logics we presented a basic model checking algorithm for linear time logic. In the second part of the chapter we first gave an introduction to the general ideas of model learning algorithms. Continuing in the same subject, we presented a number of learning algorithms;the observation pack algorithm, Angluin's algorithm, the reduced observation table algorithm and, the discrimination tree algorithm. Subsequently we discussed the algorithms' query complexity and presented some domain specific optimizations to reduce the number of queries. We rounded the model learning part off with some experimental results. The final part in this chapter presented the adaptive model checking algorithm, which combines model checking and model learning into one approach. The approach try to make use of information in an existing model of the SUT in order to save effort in the learning procedure. If no model exist or the existing model is irrelevant compared to the current SUT, the approach is still applicable. Although model checking and model learning are both established research areas, a lot of work remains to be done when considering testing. The combination of model checking and testing techniques should be clarified. Models to be used for testing might ask for different characteristics of
暂无评论