Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons™

Open Access. Powered by Scholars. Published by Universities.®

Singapore Management University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 5431 - 5460 of 9025

Full-Text Articles in Computer Sciences

Safegpu: Contract- And Library-Based Gpgpu For Object-Oriented Languages, Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz Aug 2016

Safegpu: Contract- And Library-Based Gpgpu For Object-Oriented Languages, Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz

Research Collection School Of Computing and Information Systems

Using GPUs as general-purpose processors has revolutionized parallel computing by providing, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to their widespread adoption, however, is the difficulty of programming them and the low-level control of the hardware required to achieve good performance. This paper proposes a programming approach, SafeGPU, that aims to make GPU data-parallel operations accessible through high-level libraries for object-oriented languages, while maintaining the performance benefits of lower-level code. The approach provides data-parallel operations for collections that can be chained and combined to express compound computations, with data synchronization and device …


Comon+: A Cooperative Context Monitoring System For Multi-Device Personal Sensing Environments, Youngki Lee, Seungwoo Kang, Chulhong Min, Younghyun Ju, Inseok Hwang, Junehwa Song Aug 2016

Comon+: A Cooperative Context Monitoring System For Multi-Device Personal Sensing Environments, Youngki Lee, Seungwoo Kang, Chulhong Min, Younghyun Ju, Inseok Hwang, Junehwa Song

Research Collection School Of Computing and Information Systems

Continuous mobile sensing applications are emerging. Despite their usefulness, their real-world adoption has been slow. Many users are turned away by the drastic battery drain caused by continuous sensing and processing. In this paper, we propose CoMon+, a novel cooperative context monitoring system, which addresses the energy problem through opportunistic cooperation among nearby users. For effective cooperation, we develop a benefit-aware negotiation method to maximize the energy benefit of context sharing. CoMon+ employs heuristics to detect cooperators who are likely to remain in the vicinity for a long period of time, and the negotiation method automatically devises a cooperation plan …


User Identity Linkage By Latent User Space Modelling, Xin Mu, Feida Zhu, Ee-Peng Lim, Jing Xiao, Jianzong Wang, Zhi-Hua Zhou Aug 2016

User Identity Linkage By Latent User Space Modelling, Xin Mu, Feida Zhu, Ee-Peng Lim, Jing Xiao, Jianzong Wang, Zhi-Hua Zhou

Research Collection School Of Computing and Information Systems

User identity linkage across social platforms is an important problem of great research challenge and practical value. In real applications, the task often assumes an extra degree of difficulty by requiring linkage across multiple platforms. While pair-wise user linkage between two platforms, which has been the focus of most existing solutions, provides reasonably convincing linkage, the result depends by nature on the order of platform pairs in execution with no theoretical guarantee on its stability. In this paper, we explore a new concept of “Latent User Space” to more naturally model the relationship between the underlying real users and their …


Probabilistic Robust Route Recovery With Spatio-Temporal Dynamics, Hao Wu, Jiangyun Mao, Weiwei Sun, Baihua Zheng, Hanyuan Zhang, Ziyang Chen, Wei Wang Aug 2016

Probabilistic Robust Route Recovery With Spatio-Temporal Dynamics, Hao Wu, Jiangyun Mao, Weiwei Sun, Baihua Zheng, Hanyuan Zhang, Ziyang Chen, Wei Wang

Research Collection School Of Computing and Information Systems

Vehicle trajectories are one of the most important data in location-based services. The quality of trajectories directly affects the services. However, in the real applications, trajectory data are not always sampled densely. In this paper, we study the problem of recovering the entire route between two distant consecutive locations in a trajectory. Most existing works solve the problem without using those informative historical data or solve it in an empirical way. We claim that a data-driven and probabilistic approach is actually more suitable as long as data sparsity can be well handled. We propose a novel route recovery system in …


Revocable And Decentralized Attribute-Based Encryption, Hui Cui, Deng, Robert H. Aug 2016

Revocable And Decentralized Attribute-Based Encryption, Hui Cui, Deng, Robert H.

Research Collection School Of Computing and Information Systems

In this paper, we propose a revocable and decentralized attribute-based encryption (ABE) system that splits the task of decryption key generation across multiple attribute authorities (AAs) without requiring any central party such that it achieves attribute revocation by simply stopping updating of the corresponding private key. In our system, a party can easily behave as an AA by creating a public and private key pair without any global communication except the creation for the common system parameters, under which it can periodically issue/update private key components for users that reflect their attributes, and an AA can freely leave the system …


New Developments In Metaheuristics And Their Applications: Selected Extended Contributions From The 10th Metaheuristics International Conference (Mic 2013), Hoong Chuin Lau, Günther R. Raidl, Pascal Van Hentenryck Aug 2016

New Developments In Metaheuristics And Their Applications: Selected Extended Contributions From The 10th Metaheuristics International Conference (Mic 2013), Hoong Chuin Lau, Günther R. Raidl, Pascal Van Hentenryck

Research Collection School Of Computing and Information Systems

No abstract provided.


Tafloc: Time-Adaptive And Fine-Grained Device-Free Localization With Little Cost, Liqiong Chang, Jie Xiong, Xiaojiang Chen, Ju Wang, Junhao Hu, Wei Wang Aug 2016

Tafloc: Time-Adaptive And Fine-Grained Device-Free Localization With Little Cost, Liqiong Chang, Jie Xiong, Xiaojiang Chen, Ju Wang, Junhao Hu, Wei Wang

Research Collection School Of Computing and Information Systems

Many emerging applications drive the needs of device-free localization (DfL), in which the target can be localized without any device attached. Because of the ubiquitousness of WiFi infrastructures nowadays, the widely available Received Signal Strength (RSS) information at the WiFi Access points are commonly employed for localization purposes. However, current RSS based DfL systems have one main drawback hindering their real-life applications. That is, the RSS measurements (fingerprints) vary slowly in time even without any change in the environment and frequent updates of RSS at each location lead to a high human labor cost. In this paper, we propose an …


A Fast Algorithm For Personalized Travel Planning Recommendation, Aldy Gunawan, Hoong Chuin Lau, Kun Lu Aug 2016

A Fast Algorithm For Personalized Travel Planning Recommendation, Aldy Gunawan, Hoong Chuin Lau, Kun Lu

Research Collection School Of Computing and Information Systems

With the pervasive use of recommender systems and web/mobile applications such as TripAdvisor and Booking.com, an emerging interest is to generate personalized tourist routes based on a tourist’s preferences and time budget constraints, often in real-time. The problem is generally known as the Tourist Trip Design Problem (TTDP) which is a route-planning problem on multiple Points of Interest (POIs). TTDP can be considered as an extension of the classical problem of Team Orienteering Problem with Time Windows (TOPTW). The objective of the TOPTW is to determine a fixed number of routes that maximize the total collected score. The TOPTW also …


Enhancing Local Search With Adaptive Operator Ordering And Its Application To The Time Dependent Orienteering Problem, Aldy Gunawan, Hoong Chuin Lau, Kun Lu Aug 2016

Enhancing Local Search With Adaptive Operator Ordering And Its Application To The Time Dependent Orienteering Problem, Aldy Gunawan, Hoong Chuin Lau, Kun Lu

Research Collection School Of Computing and Information Systems

No abstract provided.


Intermediaries Vs Peer-To-Peer: A Study Of Lenders’ Incentive On A Donation-Based Crowdfunding Platform, Ling Ge, Zhiling Guo, Xuechen Luo Aug 2016

Intermediaries Vs Peer-To-Peer: A Study Of Lenders’ Incentive On A Donation-Based Crowdfunding Platform, Ling Ge, Zhiling Guo, Xuechen Luo

Research Collection School Of Computing and Information Systems

Donation-based crowdfunding platform Kiva seems to hold the promise of peer-to-peer lending with zero interest rate to help the poor. However, it is actually intermediated by microfinance institutions, which raise funds from Kiva lenders, disburse the funds to borrowers and collect high interest. Later Kiva launched another platform Kiva Zip that implements interest-free loans directly from lenders to borrowers. This unique setup enables us to examine how lenders choose between Kiva and Kiva Zip, i.e. a platform with intermediaries and a real P2P platform. We develop a theoretical model and explicate that the lenders trade-off is between the sustainability of …


Extending The Network: The Influence Of Offline Friendship On Twitter Network, Young Soo Kim, Kyungsub Stephen Choi, Felicia Natali Aug 2016

Extending The Network: The Influence Of Offline Friendship On Twitter Network, Young Soo Kim, Kyungsub Stephen Choi, Felicia Natali

Research Collection School Of Computing and Information Systems

Twitter effectively provides a communication platform that allows users to strengthen or augment relationships with their close ones. It is a common scene to see groups of people in continuing group communication from offline to online using tools such as Twitter. Furthermore, it is also possible to meet new friends via online encounter. Under these circumstances, there would be friends who are both offline and online, or only in online. Many of earlier Twitter network studies focused on the network effects’ direction going from online to offline network. This paper explores the opposite direction, going from offline to online network. …


Social Sentiment And Stock Trading Via Mobile Phones, Kwansoo Kim, Sang Yong Lee, Robert John Kauffman Aug 2016

Social Sentiment And Stock Trading Via Mobile Phones, Kwansoo Kim, Sang Yong Lee, Robert John Kauffman

Research Collection School Of Computing and Information Systems

What happens when uninformed investors trade stocks via mobile phones? Do they react to social sentiment differently than more informed traders in traditional trading? Based on 16,817 data observations and econometric analysis for the trading of 251 equities in Korea over 39 days, we present evidence of herding behavior among uninformed traders in the mobile channel. The results indicate that mobile traders seem more easily swayed by changing social sentiment. In addition, stock trading in the traditional channel probably influences sentiment formation in the market overall. Mobile traders follow signals in social media suggesting that they engage in less beneficial …


Detecting Communities Using Coordination Games: A Short Paper, Radhika Arava, Pradeep Varakantham Aug 2016

Detecting Communities Using Coordination Games: A Short Paper, Radhika Arava, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

Communities typically capture homophily as people of the same community share many common features. This paper is motivated by the problem of community detection in social networks, as it can help improve our understanding of the network topology. Given the selfish nature of humans to align with like-minded people, we employ game theoretic models and algorithms to detect communities in this paper. Specifically, we employ coordination games to represent interactions between individuals in a social network. We provide a novel and scalable two phased algorithm NashOverlap to compute an accurate overlapping community structure in the given network. We evaluate our …


Api Recommendation System For Software Development, Ferdian Thung Aug 2016

Api Recommendation System For Software Development, Ferdian Thung

Research Collection School Of Computing and Information Systems

Nowadays, software developers often utilize existing third party libraries and make use of Application Programming Interface (API) to develop a software. However, it is not always obvious which library to use or whether the chosen library will play well with other libraries in the system. Furthermore, developers need to spend some time to understand the API to the point that they can freely use the API methods and putting the right parameters inside them. In this work, I plan to automatically recommend relevant APIs to developers. This API recommendation can be divided into multiple stages. First, we can recommend relevant …


Fine-Grained Appliance Usage And Energy Monitoring Through Mobile And Power-Line Sensing, Nirmalya Roy, Nilavra Pathak, Archan Misra Aug 2016

Fine-Grained Appliance Usage And Energy Monitoring Through Mobile And Power-Line Sensing, Nirmalya Roy, Nilavra Pathak, Archan Misra

Research Collection School Of Computing and Information Systems

To promote energy-efficient operations in residential and office buildings, non-intrusive load monitoring (NILM) techniques have been proposed to infer the fine-grained power consumption and usage patterns of appliances from power-line measurement data. Fine-grained monitoring of everyday appliances (such as toasters and coffee makers) can not only promote energy-efficient building operations, but also provide unique insights into the context and activities of individuals. Current building-level NILM techniques are unable to identify the consumption characteristics of relatively low-load appliances, whereas smart-plug based solutions incur significant deployment and maintenance costs. In this paper, we investigate an intermediate architecture, where smart circuit breakers provide …


Understanding Patient Portal Use Intentions: Enablers And Inhibitors Of It Use, M. Moqbel, Fiona Fui-Hoon Nah, V. Bartelt, R. O’Dell Aug 2016

Understanding Patient Portal Use Intentions: Enablers And Inhibitors Of It Use, M. Moqbel, Fiona Fui-Hoon Nah, V. Bartelt, R. O’Dell

Research Collection School Of Computing and Information Systems

This research explores factors that influence patient’s intentions to use a hospital’s patient portal. Specifically, we investigate patient portal use intentions using two different perspectives: enablers of IT use (patient need for healthcare empowerment and healthcare professional encouragement) and inhibitors of IT use (privacy and security concerns). Drawing on theories of privacy calculus and protection motivation, we propose a research model to assess the relationships between the enablers and inhibitors of IT use as well as their effects on patient portal adoption. We will administer a survey questionnaire to existing patients of a major hospital in the Midwest and employ …


Singapore In Motion: Insights On Public Transport Service Level Through Farecard And Mobile Data Analytics, Hasan Poonawala, Vinay Kolar, Sebastien Blandin, Laura Wynter, Sambit Sahu Aug 2016

Singapore In Motion: Insights On Public Transport Service Level Through Farecard And Mobile Data Analytics, Hasan Poonawala, Vinay Kolar, Sebastien Blandin, Laura Wynter, Sambit Sahu

Research Collection School Of Computing and Information Systems

Given the changing dynamics of mobility patterns and rapid growth of cities, transport agencies seek to respond more rapidly to needs of the public with the goal of offering an effective and competitive public transport system. A more data-centric approach for transport planning is part of the evolution of this process. In particular, the vast penetration of mobile phones provides an opportunity to monitor and derive insights on transport usage. Real time and historical analyses of such data can give a detailed understanding of mobility patterns of people and also suggest improvements to current transit systems. On its own, however, …


Self-Regulated Incremental Clustering With Focused Preferences, Di Wang, Ah-Hwee Tan Jul 2016

Self-Regulated Incremental Clustering With Focused Preferences, Di Wang, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Due to their online learning nature, incremental clustering techniques can handle a continuous stream of data. In particular, various incremental clustering techniques based on Adaptive Resonance Theory (ART) have been shown to have low computational complexity in adaptive learning and are less sensitive to noisy information. However, parameter regularization in existing ART clustering techniques is applied either on different features or on different clusters exclusively. In this paper, we introduce Interest-Focused Clustering based on Adaptive Resonance Theory (IFC-ART), which self-regulates the vigilance parameter associated with each feature and each cluster. As such, we can incorporate the domain knowledge of the …


Build Emotion Lexicon From The Mood Of Crowd Via Topic-Assisted Joint Non-Negative Matrix Factorization, Kaisong Song, Wei Gao, Ling Chen, Shi Feng, Daling Wang, Chengqi Zhang Jul 2016

Build Emotion Lexicon From The Mood Of Crowd Via Topic-Assisted Joint Non-Negative Matrix Factorization, Kaisong Song, Wei Gao, Ling Chen, Shi Feng, Daling Wang, Chengqi Zhang

Research Collection School Of Computing and Information Systems

Kaisong Song, Wei Gao, Ling Chen, Shi Feng, Daling Wang, and Chengqi Zhang. (2016). . In , pages 773–776, Pisa, Italy. ACM Press. https://doi.org/10.1145/2911451.2914759


Ordinal Text Quantification, Giovanni Da San Martino, Wei Gao, Fabrizio Sebastiani Jul 2016

Ordinal Text Quantification, Giovanni Da San Martino, Wei Gao, Fabrizio Sebastiani

Research Collection School Of Computing and Information Systems

In recent years there has been a growing interest in text quantification, a supervised learning task where the goal is to accurately estimate, in an unlabelled set of items, the prevalence (or "relative frequency") of each class c in a predefined set C. Text quantification has several applications, and is a dominant concern in fields such as market research, the social sciences, political science, and epidemiology. In this paper we tackle, for the first time, the problem of ordinal text quantification, defined as the task of performing text quantification when a total order is defined on the set of classes; …


Real-Time Salient Object Detection With A Minimum Spanning Tree, Wei-Chih Tu, Shengfeng He, Qingxiong Yang, Shao-Yi Chien Jul 2016

Real-Time Salient Object Detection With A Minimum Spanning Tree, Wei-Chih Tu, Shengfeng He, Qingxiong Yang, Shao-Yi Chien

Research Collection School Of Computing and Information Systems

In this paper, we present a real-time salient object detection system based on the minimum spanning tree. Due to the fact that background regions are typically connected to the image boundaries, salient objects can be extracted by computing the distances to the boundaries. However, measuring the image boundary connectivity efficiently is a challenging problem. Existing methods either rely on superpixel representation to reduce the processing units or approximate the distance transform. Instead, we propose an exact and iteration free solution on a minimum spanning tree. The minimum spanning tree representation of an image inherently reveals the object geometry information in …


Fine-Grained Detection Of Programming Students’ Frustration Using Keystrokes, Mouse Clicks And Interaction Logs, Hua Leong Fwa Jul 2016

Fine-Grained Detection Of Programming Students’ Frustration Using Keystrokes, Mouse Clicks And Interaction Logs, Hua Leong Fwa

Research Collection School Of Computing and Information Systems

Prolonged frustration leads to loss of confidence and eventual disinterest in the learning itself. The modelling of frustration in learning is thus important as it informs on the appropriate time to intervene to sustain the interest and motivation of students. To automatically detect learner’s frustration in a naturalistic learning environment, the novel use of keystrokes, mouse clicks and interaction patterns of students captured within the context of a tutoring system was proposed. The modelling approach was described and a comparison was made between the proposed model using Bayesian Network and the baseline Naïve Bayes model. With the formulation of an …


Detecting Rumors From Microblogs With Recurrent Neural Networks, Jing Ma, Wei Gao, Prasenjit Mitra, Sejeong Kwon, Bernard J. Jansen, Kam-Fai Wong, Meeyoung Cha Jul 2016

Detecting Rumors From Microblogs With Recurrent Neural Networks, Jing Ma, Wei Gao, Prasenjit Mitra, Sejeong Kwon, Bernard J. Jansen, Kam-Fai Wong, Meeyoung Cha

Research Collection School Of Computing and Information Systems

Microblogging platforms are an ideal place for spreading rumors and automatically debunking rumors is a crucial problem. To detect rumors, existing approaches have relied on hand-crafted features for employing machine learning algorithms that require daunting manual effort. Upon facing a dubious claim, people dispute its truthfulness by posting various cues over time, which generates long-distance dependencies of evidence. This paper presents a novel method that learns continuous representations of microblog events for identifying rumors. The proposed model is based on recurrent neural networks (RNN) for learning the hidden representations that capture the variation of contextual information of relevant posts over …


Three Strategies To Success: Learning Adversary Models In Security Games, Nika Haghtalab, Fei Fang, Thanh Hong Nguyen, Arunesh Sinha, Ariel D. Procaccia, Milind Tambe Jul 2016

Three Strategies To Success: Learning Adversary Models In Security Games, Nika Haghtalab, Fei Fang, Thanh Hong Nguyen, Arunesh Sinha, Ariel D. Procaccia, Milind Tambe

Research Collection School Of Computing and Information Systems

State-of-the-art applications of Stackelberg security games -- including wildlife protection -- offer a wealth of data, which can be used to learn the behavior of the adversary. But existing approaches either make strong assumptions about the structure of the data, or gather new data through online algorithms that are likely to play severely suboptimal strategies. We develop a new approach to learning the parameters of the behavioral model of a bounded rational attacker (thereby pinpointing a near optimal strategy), by observing how the attacker responds to only three defender strategies. We also validate our approach using experiments on real and …


Stpp: Spatial-Temporal Phase Profiling Based Method For Relative Rfid Tag Localization, Longfei Shangguan, Zheng Yang, Alex X. Liu, Zimu Zhou, Yunhao Liu Jul 2016

Stpp: Spatial-Temporal Phase Profiling Based Method For Relative Rfid Tag Localization, Longfei Shangguan, Zheng Yang, Alex X. Liu, Zimu Zhou, Yunhao Liu

Research Collection School Of Computing and Information Systems

Many object localization applications need the relative locations of a set of objects as oppose to their absolute locations. Although many schemes for object localization using radio frequency identification (RFID) tags have been proposed, they mostly focus on absolute object localization and are not suitable for relative object localization because of large error margins and the special hardware that they require. In this paper, we propose an approach called spatial-temporal phase profiling (STPP) to RFID-based relative object localization. The basic idea of STPP is that by moving a reader over a set of tags during which the reader continuously interrogating …


Satisfiability Modulo Heap-Based Programs, Quang Loc Le, Jun Sun, Wei-Ngan Chin Jul 2016

Satisfiability Modulo Heap-Based Programs, Quang Loc Le, Jun Sun, Wei-Ngan Chin

Research Collection School Of Computing and Information Systems

In this work, we present a semi-decision procedure for a fragment of separation logic with user-defined predicates and Presburger arithmetic. To check the satisfiability of a formula, our procedure iteratively unfolds the formula and examines the derived disjuncts. In each iteration, it searches for a proof of either satisfiability or unsatisfiability. Our procedure is further enhanced with automatically inferred invariants as well as detection of cyclic proof. We also identify a syntactically restricted fragment of the logic for which our procedure is terminating and thus complete. This decidable fragment is relatively expressive as it can capture a range of sophisticated …


Proxy Signature With Revocation, Shengmin Xu, Guomin Yang, Yi Mu, Shu Ma Jul 2016

Proxy Signature With Revocation, Shengmin Xu, Guomin Yang, Yi Mu, Shu Ma

Research Collection School Of Computing and Information Systems

Proxy signature is a useful cryptographic primitive that allows signing right delegation. In a proxy signature scheme, an original signer can delegate his/her signing right to a proxy signer (or a group of proxy signers) who can then sign documents on behalf of the original signer. In this paper, we investigate the problem of proxy signature with revocation. The revocation of delegated signing right is necessary for a proxy signature scheme when the proxy signer’s key is compromised and/or any misuse of the delegated right is noticed. Although a proxy signature scheme usually specifies a delegation time period, it may …


From Offline To Online: How Health Insurance Policies Drive The Demand For Online Healthcare Service?, Yue Yu, Qiu-Yan Mei, Qiu-Hong Wang Jul 2016

From Offline To Online: How Health Insurance Policies Drive The Demand For Online Healthcare Service?, Yue Yu, Qiu-Yan Mei, Qiu-Hong Wang

Research Collection School Of Computing and Information Systems

Online healthcare service has gradually become a significant part of healthcare services, especially in emerging economy with shortage in medical resources and wide coverage in the Internet usage. This paper studies how health insurance policies affect the demand for online healthcare consultation by using longitudinal online healthcare and offline medical services datasets of a major city in China. The two policies we study are the integration of health insurance systems in urban and rural regions and the integration of health insurance systems between pairwise-cities. The empirical results show that both policies significantly affected the demand for online consultation. Our study …


Response To Sbp-Brims Data Challenge: Agent-Based Approach To Human Migration Movement, Lin Junjie, Larry, Kathleen M. Carley Jul 2016

Response To Sbp-Brims Data Challenge: Agent-Based Approach To Human Migration Movement, Lin Junjie, Larry, Kathleen M. Carley

Research Collection School Of Computing and Information Systems

In this work, we attempt to address the social question of international migration, and the resulting shifts in country populations. This is achieved through the development of a country-level agent-based dynamic network model to examine shifts in population given network relations among countries, which inuences overall population change.


Generic Anonymous Identity-Based Broadcast Encryption With Chosen-Ciphertext Security, Kai He, Jian Weng, Man Ho Au, Yijun Mao, Deng, Robert H. Jul 2016

Generic Anonymous Identity-Based Broadcast Encryption With Chosen-Ciphertext Security, Kai He, Jian Weng, Man Ho Au, Yijun Mao, Deng, Robert H.

Research Collection School Of Computing and Information Systems

In a broadcast encryption system, a broadcaster can encrypt a message to a group of authorized receivers S and each authorized receiver can use his/her own private key to correctly decrypt the broadcast ciphertext, while the users outside S cannot. Identity-based broadcast encryption (IBBE) system is a variant of broadcast encryption system where any string representing the user’s identity (e.g., email address) can be used as his/her public key. IBBE has found many applications in real life, such as pay-TV systems, distribution of copyrighted materials, satellite radio communications. When employing an IBBE system, it is very important to protect the …