Search For:

Displaying 1-9 out of 9 total
Baseline Profile Stability for Network Anomaly Detection
Found in: Information Technology: New Generations, Third International Conference on
By Yoohwan Kim, Ju-Yeon Jo, Kyunghee Kim Suh
Issue Date:April 2006
pp. 720-725
Network attacks are commonplace in the Internet. One of the defense mechanisms against the network attacks is using a baseline profile established during normal operation to detect the traffic that deviates from the baseline profile. However, this approach...
Cardiovascular Monitoring Using Earphones and a Mobile Device
Found in: IEEE Pervasive Computing
By Ming-Zher Poh,Kyunghee Kim,Andrew Goessling,Nicholas Swenson,Rosalind Picard
Issue Date:October 2012
pp. 18-26
Many wearable biosensors have failed to be adopted outside of a lab setting or to gain popular acceptance. The Heartphones project seeks to address this by integrating physiological sensing capabilities into a platform already accepted for everyday use, ex...
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking
Found in: Automated Software Engineering, International Conference on
By KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
Issue Date:November 2009
pp. 495-499
Most approaches to reasoning about multithreaded programs, including model checking, make the implicit assumption that the system being considered is sequentially consistent. This is, however, invalid in most modern computer architectures and results in un...
Heartphones: Sensor Earphones and Mobile Application for Non-obtrusive Health Monitoring
Found in: Wearable Computers, IEEE International Symposium
By Ming-Zher Poh, Kyunghee Kim, Andrew D. Goessling, Nicholas C. Swenson, Rosalind W. Picard
Issue Date:September 2009
pp. 153-154
This paper describes the development and evaluation of wearable sensor earphones coupled with a mobile platform for comfortable assessment of cardiovascular function. Photoplethysmographic sensors were integrated into regular earphones to provide discreet ...
The Benefits of Synchronized Genuine Smiles in Face-to-Face Service Encounters
Found in: Computational Science and Engineering, IEEE International Conference on
By Kyunghee Kim, Micah Eckhardt, Nandi Bugg, Rosalind W. Picard
Issue Date:August 2009
pp. 801-808
This paper examines the role of facial expressions in dyadic interactionsbetween a banking service provider and customer. We conduct experiments in which service providers manipulate their facial expressions while interacting with customers in one of three...
JRF-E: using model checking to give advice on eliminating memory model-related bugs
Found in: Proceedings of the IEEE/ACM international conference on Automated software engineering (ASE '10)
By Beverly A. Sanders, KyungHee Kim, Tuba Yavuz-Kahveci
Issue Date:September 2010
pp. 215-224
According to Java's relaxed memory model, programs that contain data races need not be sequentially consistent. Executions that are not sequentially consistent may exhibit surprising behavior such as operations on a thread occurring in a different order th...
Shybot: friend-stranger interaction for children living with autism
Found in: CHI '08 extended abstracts on Human factors in computing systems (CHI '08)
By Chia-Hsun Jackie Lee, Cynthia Breazeal, Kyunghee Kim, Rosalind Picard
Issue Date:April 2008
pp. 49-54
This paper presents Shybot, a personal mobile robot designed to both embody and elicit reflection on shyness behaviors. Shybot is being designed to detect human presence and familiarity from face detection and proximity sensing in order to categorize peopl...
Common sense assistant for writing stories that teach social skills
Found in: CHI '08 extended abstracts on Human factors in computing systems (CHI '08)
By Henry Lieberman, Kyunghee Kim, Rosalind W. Picard
Issue Date:April 2008
pp. 49-54
People on the autistic spectrum often have difficulties with social interaction, and these difficulties are compounded when a person faces the uncertainty of not knowing what to expect in a new social setting. Detailed, step-by-step explanations of people'...
Assertional reasoning about data races in relaxed memory models
Found in: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming (PPoPP '08)
By Beverly A. Sanders, KyungHee Kim
Issue Date:February 2008
pp. 26-33
We describe the ideas behind a method to use assertional reasoning to statically show that all sequentially consistent executions of a concurrent program are free from data races.