509 | -- | 521 | Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent, Enrico Vicario. Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living |
522 | -- | 534 | Drazen Brscic, Takayuki Kanda, Tetsushi Ikeda, Takahiro Miyashita. Person Tracking in Large Public Spaces Using 3-D Range Sensors |
535 | -- | 546 | Seungwoo Lee, Gilyoung Ryu, Yohan Chon, Rhan Ha, Hojung Cha. Automatic Standby Power Management Using Usage Profiling and Prediction |
547 | -- | 557 | Yingjie Li, Michael P. Clamann, David B. Kaber. Validation of a Haptic-Based Simulation to Test Complex Figure Reproduction Capability |
558 | -- | 569 | Robert S. Allison, Todd Macuda, Sion Jennings. Detection and Discrimination of Motion-Defined Form: Implications for the Use of Night Vision Devices |
570 | -- | 582 | Ilana Nisky, Ferdinando A. Mussa-Ivaldi, Amir Karniel. Analytical Study of Perceptual and Motor Transparency in Bilateral Teleoperation |
583 | -- | 594 | Thomas Haberkorn, Ioana Koglbauer, Reinhard Braunstingl, Boris Prehofer. Requirements for Future Collision Avoidance Systems in Visual Flight: A Human-Centered Approach |
595 | -- | 607 | Matthew L. Bolton, Sinan Göknur, Ellen J. Bass. Framework to Support Scenario Development for Human-Centered Alerting System Evaluation |
608 | -- | 619 | Allan Hodgson, Carys E. Siemieniuch, Ella-Mae Hubbard. Culture and the Safety of Complex Automated Sociotechnical Systems |
620 | -- | 630 | Changbo Wang, Zhao Xiao, Yuhua Liu, Yanru Xu, Aoying Zhou, Kang Zhang. SentiView: Sentiment Analysis and Visualization for Internet Popular Topics |
631 | -- | 642 | Alessandro Filippeschi, Emanuele Ruffaldi. Boat Dynamics and Force Rendering Models for the SPRINT System |
643 | -- | 649 | Hojin Lee, Gabjong Han, In Lee, Sunghoon Yim, Kyungpyo Hong, Hyeseon Lee, Seungmoon Choi. Haptic Assistance for Memorization of 2-D Selection Sequences |