Submissions from 2012
Using monterey phoenix to formalize and verify system architectures, Jiexin ZHANG, Yang LIU, Mikhail AUGUSTON, Jun SUN, and Jin Song DONG Conference Proceeding Article
Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction, Jianye HAO, Songzheng SONG, Yang LIU, Jun SUN, Lin GUI, Jin Song DONG, and Ho-fung LEUNG Conference Proceeding Article
Tracking sentiment and topic dynamics from social media, Yulan HE, Chenghua LIN, Wei GAO, and Kam-Fai WONG Conference Proceeding Article
Integrating course-level competencies into a program-wide learning outcomes framework: Review of the competencies extraction and definition process, Ilse BAUMGARTNER Conference Paper
Adaptive CGF for pilots training in air combat simulation, Teck-Hou TENG, Ah-hwee TAN, Wee-Sze ONG, and Kien-Lip LEE Conference Proceeding Article
A model checker for hierarchical probabilistic real-time systems, Songzheng SONG, Jun SUN, Yang LIU, and Jin Song DONG Conference Proceeding Article
An Economic Analysis of the Online Counterfeit Market and the Impact of Anti-Counterfeit Technology, Xiong ZHANG, Zhiling GUO, and Wei Thoo YUE Conference Proceeding Article
A Pollution Attack to Public-key Watermarking Schemes, Yongdong WU and Robert H. DENG Conference Proceeding Article
Decision Support for Agent Populations in Uncertain and Congested Environments, Pradeep Reddy VARAKANTHAM, Shih-Fen CHENG, Geoff GORDON, and Asrar AHMED Conference Proceeding Article
Deep Online Learning: A Framework of Exploring Hierarchical Representations for Online Learning, Jialei WANG and Steven C. H. HOI Report
Detecting Anomalous Twitter Users by Extreme Group Behaviors, Hanbo DAI, Ee-peng LIM, Feida ZHU, and Hwee Hwa PANG Conference Proceeding Article
Enhancing Access Privacy of Range Retrievals over B+Trees, Hwee Hwa PANG, Jilian ZHANG, and Kyriakos MOURATIDIS Journal Article
Exact soft confidence-weighted learning, Jialei WANG and Steven C. H. HOI Conference Proceeding Article
Fast bounded online gradient descent algorithms for scalable kernel-based online learning, Peilin ZHAO, Jialei WANG, Pengcheng WU, Rong JIN, and Steven C. H. HOI Conference Proceeding Article
Finding Bursty Topics From Microblogs, Qiming DIAO, Jing JIANG, Feida ZHU, and Ee Peng LIM Conference Proceeding Article
Formal analysis of pervasive computing systems, Yan LIU, Xian ZHANG, Jin Song DONG, Yang LIU, Jun SUN, Jit BISWAS, and Mounir MOKHTARI Conference Proceeding Article
Identifying Event-related Bursts via Social Media Activities, Xin ZHAO, Baihan Shu, Jing JIANG, YANG SONG, Hongfei YAN, and Xiaoming LI Conference Proceeding Article
Information-theoretic multi-view domain adaptation, Pei YANG, Wei GAO, Qi TAN, and Kam-Fai WONG Conference Proceeding Article
Joint Learning for Coreference Resolution with Markov Logic, Yang SONG, Jing JIANG, Xin ZHAO, Sujian LI, and Houfeng WANG Conference Proceeding Article
k-Partite Graph Reinforcement and its Application in Multimedia Information Retrieval, Yue GAO, Meng WANG, Rongrong Ji, Zheng-Jun ZHA, and Jialie SHEN Journal Article
Lagrangian Relaxation Techniques for Scalable Spatial Conservation Planning, Akshat KUMAR, Xiaojian WU, and Shlomo ZILBERSTEIN Conference Proceeding Article
Logistics Orchestration Modeling and Evaluation for Humanitarian Relief, Hoong Chuin LAU, Zhengping LI, Xin DU, Heng JIANG, and Robert DE SOUZA Conference Proceeding Article
myDeal: The Context-Aware Urban Shopping Assistant, Kartik MURALIDHARAN, Swapna GOTTIPATI, Jing JIANG, Narayan RAMASUBBU, and Rajesh Krishna BALAN Conference Poster
Online Kernel Selection: Algorithms and Evaluations, Tianbao YANG, Mehrdad MAHDAVI, Rong JIN, Jinfeng YI, and Steven C. H. HOI Conference Proceeding Article
On-line portfolio selection with moving average reversion, Bin LI and Steven C. H. HOI Conference Proceeding Article
Parameter synthesis for hierarchical concurrent real-time systems, Étienne ANDRÉ, Yang LIU, Jun SUN, and Jin Song DONG Conference Proceeding Article
Topic discovery from tweet replies, Bingtian DAI, Ee Peng LIM, and Philips Kokoh PRASETYO Conference Proceeding Article
Translating PDDL into CSP# - The PAT approach, Yi LI, Jing SUN, Jin Song DONG, Yang LIU, and Jun SUN Conference Proceeding Article
Using Interactive Evolutionary Computation (IEC) with validated surrogate fitness functions for redistricting, Christine CHOU, Steven KIMBROUGH, John SULLIVAN-FEDOCK, C. Jason WOODARD, and Frederic H. MURPHY Conference Proceeding Article
Innovation Rules: A method for identifying disruptive innovation opportunities?, Arcot Desai NARASIMHALU Conference Paper
Analyzing multi-agent systems with probabilistic model checking approach, Songzheng SONG, Jianye HAO, Yang LIU, Jun SUN, Ho-fung LEUNG, and Jin Song DONG Conference Proceeding Article
Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities, Lwin Khin SHAR and Hee Beng Kuan TAN Conference Proceeding Article
Lagrangian relaxation for large-scale multi-agent planning, Geoff GORDON, Pradeep Reddy VARAKANTHAM, William YEOH, Ajay SRINIVASAN, Hoong Chuin LAU, and Shih-Fen CHENG Conference Proceeding Article
A biologically-inspired affective model based on cognitive situational appraisal, Feng SHU and Ah-hwee TAN Conference Proceeding Article
Active Malware Analysis using Stochastic Games, Simon WILLIAMSON, Pradeep Reddy VARAKANTHAM, Debin GAO, and Chen Hui ONG Conference Proceeding Article
Active refinement of clone anomaly reports, LUCIA, David LO, Lingxiao JIANG, and Aditya BUDI Conference Proceeding Article
Adaptive data acquisition strategies for energy-efficient, smartphone-based, continuous processing of sensor streams, Lipyeow LIM, Archan MISRA, and Tianli MO Journal Article
A Greedy Double Swap Heuristic for Nurse Scheduling, Junyu CHOY and Michelle Lee Fong CHEONG Journal Article
Aligning images in the wild, Wen-yan LIN, Linlin LIU, Yasuyuki MATSUSHITA, Kok-Lim LOW, and Siying LIU Conference Proceeding Article
An evolutionary search paradigm that learns with past experiences, Liang FENG, Yew-Soon ONG, Ivor TSANG, and Ah-hwee TAN Conference Proceeding Article
A new framework for privacy of RFID path authentication, Shaoying CAI, Robert H. DENG, Yingjiu LI, and Yunlei ZHAO Conference Proceeding Article
A novel unbalanced tree structure for low-cost authentication of streaming content on mobile and sensor devices, Thivya KANDAPPU, Vijay SIVARAMAN, and Roksana BORELI Conference Proceeding Article
Are faults localizable?, Lucia LUCIA, Ferdian THUNG, David LO, and Lingxiao JIANG Conference Proceeding Article
A self-organizing multi-memory system for autonomous agents, Wenwen WANG, Budhitama SUBAGDJA, Ah-hwee TAN, and Yuan-Sin TAN Conference Proceeding Article
CoMon: Cooperative Ambience Monitoring Platform with Continuity and Benefit Awareness, Youngki LEE, Younghyun JU, Chulhong Min, Seungwoo KANG, Inseok HWANG, and Junehwa SONG Conference Proceeding Article
CoMon: Cooperative Ambience Monitoring Platform with Continuity and Benefit Awareness, Youngki Lee, Younghyun Ju, Chulhong Min, Seungwoo Kang, Inseok Hwang, and Junehwa Song Conference Paper
Complexity of the soundness problem of bounded workflow nets, Guan Jun LIU, Jun SUN, Yang LIU, and Jin Song DONG Conference Proceeding Article
Dash: A Novel Search Engine for Database-Generated Dynamic Web Pages, Ken C. K. LEE, Kanchan BANKAR, Baihua ZHENG, Chi-Yin CHOW, and Honggang WANG Conference Proceeding Article
Delayed Observation Planning in Partially Observable Domains, Pradeep Reddy VARAKANTHAM and Janusz Marecki Conference Proceeding Article
Distributed Incomplete Pattern Matching via a NovelWeighted Bloom Filter, Siyuan LIU, Lei KANG, Lei CHEN, and Lionel NI Conference Proceeding Article
Distributed Path Authentication for Dynamic RFID-Enabled Supply Chains, Shaoying CAI, Yingjiu LI, and Yunlei ZHAO Conference Proceeding Article
Energy-efficient Continuous Activity Recognition on Mobile Phones: An Activity-adaptive Approach, Zhixian YAN, Vigneshwaran SUBBARAJU, Dipanjan Chakraborty, Archan MISRA, and Karl Aberer Conference Proceeding Article
ExerLink: Enabling Pervasive Social Exergames with Heterogeneous Exercise Devices, Taiwoo PARK, Inseok HWANG, Uichin LEE, Sunghoon Ivan LEE, Chungkuk YOO, Youngki LEE, Hyukjae JANG, Sungwon Peter CHOE, Souneil PARK, and Junehwa SONG Conference Proceeding Article
ExerLink: Enabling Pervasive Social Exergames with Heterogeneous Exercise Devices, Taiwoo Park, Inseok Hwang, Uichin Lee, Sunghoon Ivan Lee, Chungkuk Yoo, Youngki Lee, Hyukjae Jang, Sungwon Peter Choe, Souneil Park, and Junehwa Song Conference Paper
Fast semantic diffusion for large-scale context-based image and video annotation, Yu-Gang JIANG, Qi DAI, Jun WANG, and Chong-wah NGO Journal Article
Identifying Linux Bug Fixing Patches, Yuan TIAN, Julia LAWALL, and David LO Conference Proceeding Article
iFALCON: A neural architecture for hierarchical planning, Budhitama SUBAGDJA and Ah-hwee TAN Journal Article
Inferring Class Level Specifications for Distributed Systems, Sandeep KUMAR, Siau-Cheng KHOO, Abhik Roychoudhury, and David LO Conference Proceeding Article
Leveraging Children's Behavioral Distribution and Singularities in New Interactive Environments: Study in Kindergarten Field Trips, Inseok Hwang, Hyukjae Jang, Taiwoo Park, Aram Choi, Youngki Lee, Chanyou Hwang, Yanggui Choi, Lama Nachman, and Junehwa Song Conference Paper
Leveraging Children's Behavioral Distribution and Singularities in New Interactive Environments: Study in Kindergarten Field Trips, Inseok HWANG, Hyukjae JANG, Taiwoo PARK, Aram CHOI, Youngki LEE, Chanyou HWANG, Yanggui CHOI, Lama Nachman, and Junehwa SONG Conference Proceeding Article
Memory formation, consolidation, and forgetting in learning agents, Budhitama SUBAGDJA, Wenwen WANG, Ah-hwee TAN, Yuan-Sin TAN, and Loo-Nin TEOW Conference Proceeding Article
Memory formation, consolidation, and forgetting in learning agents, Budhitama SUSNAGDJA, Wenwen WANG, Ah-hwee TAN, Yuan-Sin TAN, and Loo-Nin TEOW Conference Proceeding Article
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation, David LO, Ganesan RAMALINGAM, Venkatesh Prasad RANGANATH, and Kapil VASWANI Journal Article
MobiCon: Mobile context monitoring platform: Incorporating context-awareness to smartphone-centric personal sensor networks, Youngki LEE, Younghyun JU, Chuihong MIN, Jihun YU, and Junehwa SONG Conference Proceeding Article
Modeling diffusion in social networks using network properties, Duc Minh LUU, Ee Peng LIM, Tuan Anh HOANG, and Chong Tat Freddy CHUA Conference Proceeding Article
More of a receiver than a giver: Why do people unfollow in Twitter?, Haewoon KWAK, Sue MOON, and Wonjae LEE Conference Proceeding Article
Overcoming the challenges in cost estimation for distributed software projects, Narayanasamy Ramasubbu and Rajesh Krishna BALAN Conference Proceeding Article
Prioritized Shaping of Models for Solving DEC-POMDPs, Pradeep Reddy VARAKANTHAM, William YEOH, Prasanna Velagapudi, and Paul Scerri Conference Proceeding Article
Resource-aware Video Multicasting via Access Gateways in Wireless Mesh Networks, Wanqing TU, Cormac SREENAN, Chun Tung CHOU, Archan MISRA, and Sanjay JHA Journal Article
SAMMPLE: Detecting Semantic Indoor Activities in Practical Settings using Locomotive Signatures, Zhixian YAN, Dipanjan CHAKRABORTY, Archan MISRA, Hoyoung JEUNG, and Karl ABERER Conference Proceeding Article
Self-organizing neural networks for learning air combat maneuvers, Teck-Hou TENG and Ah-hwee TAN Conference Proceeding Article
Semi-supervised hierarchical clustering for personalized web image organization, Lei MENG and Ah-hwee TAN Conference Proceeding Article
Stochastic dominance in stochastic DCOPs for risk-sensitive applications, NGUYEN DUC THIEN, William YEOH, and Hoong Chuin LAU Conference Proceeding Article
TruRepec: A Trust-behavior-based Reputation and Recommender System for Mobile Applications, Zheng YAN, Peng ZHANG, and Robert H. DENG Journal Article
Vertical Differentiation and a Comparison of Online Advertising Models, Mei LIN, Xuqing KE, and Andrew B. WHINSTON Journal Article
Virality and susceptibility in information diffusions, Tuan-Anh HOANG and Ee Peng LIM Conference Proceeding Article
Virtualization based password protection against malware in untrusted operating systems, Yueqiang CHENG and Xuhua DING Conference Proceeding Article
Visualizing media bias through Twitter, Jisun AN, Meeyoung CHA, GUMMADI, Krishna, Jon CROWCROFT, and Daniele QUERIA Conference Proceeding Article
What does software engineering community microblog about?, Yuan TIAN, Palakorn Achananuparp, Ibrahim Nelman Lubis, David LO, and Ee Peng LIM Conference Proceeding Article
When a friend in Twitter is a friend in life, Wei XIE, Cheng LI, Feida ZHU, Ee-Peng LIM, and Xueqing GONG Conference Proceeding Article
Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports, Jian ZHOU, Hongyu ZHANG, and David LO Conference Proceeding Article
WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment, Christoph TREUDE, Patrick GORMAN, Lars GRAMMEL, and Margaret-Anne STOREY Conference Proceeding Article
Spatial Queries in Wireless Broadcast Environments [Keynote Speech], Kyriakos MOURATIDIS Conference Proceeding Article
Adaptive Learning in Service Operations, T LI and Robert J. Kauffman Journal Article
À la carte pricing and price elasticity of demand in air travel, N. Granados, Robert John KAUFFMAN, H. Lai, and H.-C. Lin Journal Article
Anyone can sketch vignettes!, Rubaiat Habib Kazi, Takeo Igarashi, Shengdong Zhao, Richard Christopher DAVIS, and Toni-Jan Keith Monserrat
Coercion Resistance in Authentication Responsibility Shifting, Payas GUPTA, Xuhua DING, and Debin GAO Conference Proceeding Article
Delivering SMS-based mobile services using SOA, Randall E. DURAN and DO Randall E. Book Chapter
Do links matter? An investigation of the impact of consumer feedback, recommendation networks, and price bundling on sales, Nan HU, Gaoliang TIAN, Ling LIU, Bin LIANG, and Yunjun GAO Journal Article
#EpicPlay: Crowd-sourcing sports video highlights, Anthony TANG and Sebastian BORING Conference Proceeding Article
Expressive CP-ABE with partially hidden access structures, Junzuo LAI, Robert H. DENG, and Yingjiu LI Conference Proceeding Article
IT-Supported a la Carte Pricing in Air Travel: A Test of the Strategic Decommoditization Hypothesis, N. F. GRANADOS, Robert J. Kauffman, H. C. Lai, and H. C. Lin Journal Article
Method and apparatus for rapid identification of column heterogeneity, Bing Tian DAI, Nikolaos KOUDAS, Beng Chin OOI, Divesh SRIVASTAVA, and Suresh VENKATASUBRANMANIAN Patent
Organizing User Search Histories, Heasoo HWANG, Hady W. LAUW, Lise GETOOR, and Alexandros NTOULAS Journal Article
PAMR: Passive-Aggressive Mean Reversion Strategy for Portfolio Selection, Bin LI, Peilin ZHAO, Steven C. H. HOI, and Vivekanand Gopalkrishnan Journal Article
Spalendar: Visualizing a group's calendar events over a geographic space on a public display, Chen XIANG, Sebastian BORING, Sheelagh CARPENDALE, Anthony TANG, and Saul GREENBERG Conference Poster
Spatial Queries in Wireless Broadcast Environments [Keynote Speech], Kyriakos MOURATIDIS Conference Proceeding Article
Student usage patterns and perceptions for differentiated lab exercises in an undergraduate programming course, Heng Ngee MOK Journal Article
Vignette: Interactive texture design and manipulation with freeform gestures for pen-and-ink illustration, Rubaiat Habib KAZI, Takeo Igarashi, Shengdong ZHAO, and Richard C. DAVIS Conference Proceeding Article
Managing Successive Generation Product Diffusion in the Presence of Strategic Consumers, Zhiling GUO Presentation