April 12, 2017 (Wednesday)
| 08:00-12:00 | Hallway | Registration |
| 08:20-09:40 | Round Room II | IRC(13) Formal Methods for Analysis and Design (II) Session Chair: Luca Muratore, Istituto Italiano di Tecnologia, Italy Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties Julien Alexandre dit Sandretto, Alexandre Chapoutot, Olivier Mullier Safety Computer Vision Rules for Improved Sensor Certification Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz Control Strategy Research for a Biped Walking Robot with Flexible Ankle Joints Xizhe Zang, Zhenkun Lin, Yixiang Liu, Xinran Sun, Jie Zhao Sequential Action Selection for Budgeted Localization in Robots Nassim Aklil, Benoît Girard, Mehdi Khamassi, Ludovic Denoyer |
| VIP Room | CHARMS2017(3) Collaboration for Humans, Agents, Robots, Machines and Sensors (CHARMS III) Session Chair: John Gallagher, Wright State University, USA A Conditional Context-Awareness Ontology Based Personalized Recommendation Approach for E-Reading Qian Gao, Aimei Dong Sign Language Learning System with Image Sampling and Convolutional Neural Network Yangho Ji, Sunmok Kim, Ki-Baek Lee Arm Motion Estimation Algorithm Using MYO Armband Hyo Jin Kim, Ye Sol Lee, Donghan Kim A Provisional Approach to Maintaining Verification and Validation Capability in Self-Adapting Robots John C. Gallagher, Eric T. Matson, James Goppert |
|
| 09:40-10:00 | Coffee Break | |
| 10:00-11:00 | Round Room II | CHARMS2017(4) Collaboration for Humans, Agents, Robots, Machines and Sensors (CHARMS IV) Session Chair: Qian Gao, Qilu University of Technology, China A Human Geometry Measurement Method Using IMU Sensor Jin Woo Noh, Yongjae Yun, Donghyeon Seo, Dong Han Kim Security Authentication System Using Encrypted Channel on UAV Network Kwanwoong Yoon, Daejun Park, Yujin Yim, Kyounghee Kim, Szu Kai Yang, Myles Robinson A Visual Localization Technique for Unmanned Ground and Aerial Robots Jae Hong Shim, Young Im Cho |
| VIP Room | Special Session Session Chair: Daniela D'Auria, Università degli Studi di Napoli Federico II, Italy Learning by Demonstration for a Dancing Robot within a Computational Creativity Framework Adriano Manfrè, Ignazio Infantino, Agnese Augello, Giovanni Pilato, Filippo Vella HeritageBot Service Robot assisting in Cultural Heritage Marco Ceccarelli, Daniele Cafolla, Giuseppe Carbone, Matteo Russo, Michela Cigola, Luca J. Senatore, Arturo Gallozzi, Roberto Di Maccio, Francesco Ferrante, Francesco Bolici, Stefano Supino, Nello Colella, Marina Bianchi, Carmelo Intrisano, Giuseppe Recinto, Annapaola Micheli, Domenico Vistocco, Maria Rita Nuccio, Maria Porcelli The Role of Semantics in Improving Medical Doctors' Performance Daniela D’Auria, Fabio Persia |
|
| 11:00-11:10 | Intermission | |
| 11:10-12:10 | Round Room II | CHARMS2017(5) Collaboration for Humans, Agents, Robots, Machines and Sensors (CHARMS V) Session Chair: Dong Han Kim, Kyung Hee University, Korea Novel Design of Artificial Eye Using EOG (Electrooculography) Eunha Moon, Hyeonjun Park, Jargalbaatar Yura, Donghan Kim Analog to Digital Converter and Phase Locked Loop for R-G-B Sensors in 3D Camera Application Wen-Cheng Lai, Ho-Chang Lee, Yen-Jong Su Design Guidelines for Sensor Locations on 3D Printed Prosthetic Hands Hyun Hwang, Jun Han Bae, Byung-Cheol Min |
| VIP Room | WSR2017 Semantic Robots (WSR) Session Chair: Hsueh-Ting Chu, Asia University, Taiwan Playing Mastermind Game by Using Reinforcement Learning Wei-Fu Lu, Ji-Kai Yang, Hsueh-Ting Chu Knowledge-based sensing/acting in mobile autonomous robots Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Eugenio Di Sciascio |
|
| 12:10-13:00 | Round Room I | Lunch |
| 13:00-16:00 | Round Room II | Tutorial Program Session Chair: Daniela D'Auria, Università degli Studi di Napoli Federico II, Italy |