Smart phones have surged into popularity in recent years, which has dramatically changed the way people live, work, and have fun. Smart phone games are an important type of Smart phone applications, which attract many...
详细信息
Smart phones have surged into popularity in recent years, which has dramatically changed the way people live, work, and have fun. Smart phone games are an important type of Smart phone applications, which attract many software developers. However, they still have not caught much research attention in the software dependability community. In this paper, we study the characteristics of over 2000 Android games with software analysis techniques, with a focus on their dependability issues. Our study suggests that a new security paradigm is of great importance to Smart phone games to prevent potential privilege abuse. Moreover, a new set of testing and debugging approaches should be specifically tailored for Smart phone games, since games are becoming more complicated. Our study also reveals that most games are not specifically optimized according to the user pattern of Smart phones. We expect these open problems can bring more attentions to the software dependability community.
Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main...
详细信息
ISBN:
(纸本)9781450325981
Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines of research have been pursued so far: one tailored to business artifact modeling languages and methodologies, the other focused on the foundations for their formal verification. In this paper, we merge these two lines of research, by showing how recent theoretical decidability results for verification can be fruitfully transferred to a concrete UML-based modeling methodology. In particular, we identify additional steps in the methodology that, in significant cases, guarantee the possibility of verifying the resulting models against rich first-order temporal properties. Notably, our results can be seamlessly transferred to different languages for the specification of the artifact lifecycles.
In this paper, the authors propose a method for realizing one element of this goal: an intelligent system for answering questions. The questions a user asks may not necessarily incorporate words that precisely match t...
详细信息
The unique aquatic nature of swimming makes it very difficult to use social or technical strategies to mitigate the tediousness of monotonous exercises. In this study, we propose MobyDick, a smartphone-based multi-pla...
详细信息
ISBN:
(纸本)9781450331432
The unique aquatic nature of swimming makes it very difficult to use social or technical strategies to mitigate the tediousness of monotonous exercises. In this study, we propose MobyDick, a smartphone-based multi-player exergame designed to be used while swimming, in which a team of swimmers collaborate to hunt down a virtual monster. In this paper, we present a novel, holistic game design that takes into account both human factors and technical challenges. Firstly, we perform a comparative analysis of a variety of wireless networking technologies in the aquatic environment and identify various technical constraints on wireless networking. Secondly, we develop a single phone-based inertial and barometric stroke activity recognition system to enable precise, real-time game inputs. Thirdly, we carefully devise a multi-player interaction mode viable in the underwater environment highly limiting the abilities of human communication. Finally, we prototype MobyDick on waterproof offthe- shelf Android phones, and deploy it to real swimming pool environments (n = 8). Our qualitative analysis of user interview data reveals certain unique aspects of multi-player swimming games. Copyright 2014 ACM.
We analyse the value of information in a stock market where information can be noisy and costly, using techniques from empirical game theory. Previous work has shown that the value of information follows a J-curve, wh...
详细信息
ISBN:
(纸本)9781943580125
We analyse the value of information in a stock market where information can be noisy and costly, using techniques from empirical game theory. Previous work has shown that the value of information follows a J-curve, where averagely informed traders perform below market average, and only insiders prevail. Here we show that both noise and cost can change this picture, in several cases leading to opposite results where insiders perform below market average, and averagely informed traders prevail. These results provide insight into the complexity of real marketplaces, and show under which conditions a broad mix of different trading strategies might be sustainable.
In this article we present a human motion detection framework, based on data derived from a single tri-axial accelerometer. The framework uses a set of different pre-processing methods that produce data representation...
详细信息
ISBN:
(纸本)9781479946037
In this article we present a human motion detection framework, based on data derived from a single tri-axial accelerometer. The framework uses a set of different pre-processing methods that produce data representations which are respectively parameterized by statistical and physical features. These features are then concatenated and classified using well-known classification algorithms for the problem of motion recognition. Experimental evaluation was carried out according to a subject-dependent scenario, meaning that the classification is performed for each subject separately using their own data and the average accuracy for all individuals is computed. The best achieved detection performance for 14 everyday human motion activities, using the USC-HAD database, was approximately 95%. The results compare favorably are competitive to the best reported performance of 93.1% for the same database.
This paper introduces a Chinese Spelling Check campaign organized for the SIGHAN 2014 bake-off, including task description, data preparation, performance metrics, and evaluation results based on essays written by Chin...
To predict future traffic conditions in each road with unique spatiotemporal pattern, it is necessary to analyze the conditions based on historical traffic data and select time series forecasting methods which can be ...
详细信息
ISBN:
(纸本)9781479940929
To predict future traffic conditions in each road with unique spatiotemporal pattern, it is necessary to analyze the conditions based on historical traffic data and select time series forecasting methods which can be predicting next pattern for each road according to the analyzed results. Our goal is to create a new statistical model and a new system for predictive graphs of traffic times based on big data processing tools. First, we suggest a vertical data arrangement, gathering past traffic times in the same time slot for long-term prediction. Second, we analyze each traffic pattern to select time-series variables because a time-series forecasting method for a location and a time will be selected according to the variables that are available. Third, we suggest a spatiotemporal prediction map, which is a two-dimensional map with time and location. Each element in the map represents a time-series forecasting method and an R-squared value as indicator of prediction accuracy. Finally, we introduce a new system including RHive as a middle point between R and Hadoop clusters for generating predicted data efficiently from big historical data.
Understanding how human emotion is evoked from visual content is a task that we as people do every day, but machines have not yet mastered. In this work we address the problem of predicting the intended evoked emotion...
详细信息
Understanding how human emotion is evoked from visual content is a task that we as people do every day, but machines have not yet mastered. In this work we address the problem of predicting the intended evoked emotion at given points within movie trailers. Movie Trailers are carefully curated to elicit distinct and specific emotional responses from viewers, and are therefore well-suited for emotion prediction. However, current emotion recognition systems struggle to bridge the "affective gap", which refers to the difficulty in modeling high-level human emotions with low-level audio and visual features. To address this problem, we propose a mid-level concept feature, which is based on detectable movie shot concepts which we believe to be tied closely to emotions. Examples of these concepts are "Fight", "Rock Music", and "Kiss". We also create 2 datasets, the first with shot-level concept annotations for learning our concept detectors, and a separate, second dataset with emotion annotations taken throughout the trailers using the two dimensional arousal and valence model for emotion annotation. We report the performance of our concept detectors, and show that by using the output of these detectors as a mid-level representation for the movie shots we are able to more accurately predict the evoked emotion throughout a trailer than by using low-level features.
暂无评论