WCTP 2014 — Workshop on Computation: Theory and Practice—
October 6 — 7, 2014, Century Park Hotel, Manila, the Philippines
Satellite Workshop: October 3, 2014, University of the Philippines Cebu
WCTP 2014 — Workshop on Computation: Theory and Practice—
October 6 — 7, 2014, Century Park Hotel, Manila, the Philippines
Satellite Workshop: October 3, 2014, University of the Philippines Cebu
Century Park Hotel
(Map)
Room: Corregidor A, the 2nd Floor (First Day)
Room: Corregidor B, the 2nd Floor (Second Day)
Please be careful. The venue of WCTP 2014 is changed.
| 08:00—09:00 | Registration |
| 09:00—09:30 | Opening Ceremonies, Welcoming Remarks, Opening Remarks |
| Session 1 | |
| 09:30—10:00 | Sandal: A Modeling Language Supporting Exhaustive Fault-Injection Masaya Suzuki and Takuo Watanabe (Tokyo Institute of Technology) |
| 10:00—10:30 | Lazy RPC and RMI calculi Shota Araki and Shinya Nishizaki (Tokyo Institute of Technology) |
| 10:30—10:45 | Morning Refreshments |
| Session 2 | |
| 10:45—11:15 | An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints Takashi Tomita, Takahito Kimura, Shigeki Hagihara and Naoki Yonezaki (Tokyo Institute of Technology) |
| 11:15—11:45 | Learning better strategies with a combination of complementary reinforcement learning algorithms Wataru Fujita, Koichi Moriyama, Ken-Ichi Fukui and Masayuki Numao (Osaka University) |
| 12:45—13:30 | Lunch |
| Session 3 | |
| 13:30—14:00 | Node Energy and Location-based Cluster Head Selection for the LEACH Routing Algorithm Robert Paul Damasco, Yali Lim, Mark Anthony Tolentino and Arlyn Verina Ong (De La Salle University) |
| 14:00—14:30 | Genre Classification of OPM Songs Through the Use of Musical Features Jordan Aiko Deja, Kim Blanquera, Carlo Eliczar Carabeo and Jo Rupert Copiaco (De La Salle University) |
| Session 4 | |
| 14:30—15:00 | Dynamic and Individual Emotion Recognition Based on EEG during Music Listening Nattapong Thammasan, Ken-Ichi Fukui, Koichi Moriyama and Masayuki Numao (Osaka University) |
| 15:00—15:30 | Protocol for Data Collection of Mobile Wireless Sensor Nodes Jose Luis B. Balares, Shedrick John S. Arriola, Jellie Ann B. Yanela, Kaydine Grace M. Santuyo and Gregory Cu (De La Salle University) |
| 15:30—16:00 | Fighter or Explorer? - Classifying Player Types in a Japanese-Style Role-Playing Game from Game Metrics Kevin Fischer (Bielefeld University), Koichi Moriyama, Ken-ichi Fukui, Masayuki Numao (Osaka University) |
| 16:00—16:30 | Afternoon Refreshments |
| Session 5: Works in Progress | |
| 16:30—16:50 | Detection of Concept Drift on an Adaptive Monitoring System Yusuke Sakamoto, Kenichi Fukui, Daniela Nicklas, Koichi Moriyama, Masayuki Numao (Osaka University) |
| 16:50—17:10 | A Practical Method of Group Competition as an Educational Event for Information Security using a Hacking Contest CTF Hiroyuki Tominaga (Kagawa University) |
| 17:10—17:30 | Measuring Academic Affective States of Adult Learners using Brainwave Signal Vanlalhruaii Swansi, Jocelynn Cu (De La Salle University) |
| 17:30—17:50 | Toward Virtual Rehabilitation: Recognizing Upper Body Exercises using Machine Learning Approach Renz Paolo Abergos, David John Ricafort, Edwill Dave Tan, Paolo Josef and Merlin Teodosia Suarez (De La Salle University) |
| 17:50—18:10 | Beyond Multi-Core: A Survey of Architectural Innovations on Microprocessor Roger Luis Uy (De La Salle University) |
| 19:00—21:00 | Dinner |
| 08:00—09:00 | Registration |
| Session 5 | |
| 09:00—09:30 | Using Machine Learning to Provide Rapid Rainfall Forecasts Based on Radar-Derived Data Daryll Panaligan, Justine Arnon Razon, Jaime Caro and Carlos Primo David (University of the Philippines Diliman) |
| 09:30—10:00 | Internet of Things: Managing Wireless Sensor Network with REST API for Smart Homes Fritz Kevin Flores, Christian Kay Magdaong and Gregory Cu (De La Salle University) |
| 10:00—10:30 | Morning Refreshments |
| 10:30—11:45 | Skills talk(slides)(Dr. Chikako Morimoto, Tokyo Insitute of Technology) |
| 12:00—13:00 | Lunch |
| 13:00—15:00 | Workshop on Project Management(slides) Dr. Chikako Morimoto, Tokyo Insitute of Technology) |
| 15:00— | Closing Session |
Union Building,
University of the Philippines Cebu
Lahug Campus, Cebu City, Cebu, the Philippines.
| 08:00—09:00 | Registration |
| 09:00—09:30 | Opening Ceremonies Opening Remarks Atty. Liza D. Corro (Dean, UP Cebu) |
| Session 1 | |
| 09:30—09:50 | Sandal: A Modeling Language Supporting Exhaustive Fault-Injection M. Suzuki, T. Watanabe (Tokyo Tech.) |
| 09:50—10:10 | Lazy RPC and RMI calculi S. Araki, S. Nishizaki(Tokyo Tech.) |
| 10:10—10:30 | Learning better strategies with a combination of complementary
reinforcement learning algorithms W. Fujita, K. Moriyama, K. Fukui, M. Numao(Osaka Univ.) |
| 10:30—10:45 | Break |
| Session 2 | |
| 10:45—11:05 | Fighter or Explorer? - Classifying Player Types in a Japanese-Style
Role-Playing Game from Game Metrics K. Fisher, K. Moriyama, K. Fukui, M. Numao(Osaka Univ.) |
| 11:05—11:25 | Dynamic and Individual Emotion Recognition Based on EEG during Music Listening N. Thammasan, K. Fukui, Moriyama, M. Numao(Osaka Univ.) |
| 11:25—11:45 | Human iris localization using circular hough transformation Jordan Gases and Kurt Junshean Espinosa(UP Cebu) |
| 11:45—13:30 | Lunch |
| Sesson 3 | |
| 13:30—13:50 | eAmigo: A Mobile Learning Tool for Pre-Schoolers of Silliman University Early Childhood Department J. A. Forster, S. Rodriguez, L.l Lariba, A. D. Cabanag (Silliman Univ.) |
| 13:50—14:10 | Responsive Real-Time Collaborator with Audio Channel Jomelyn Aldave (CIT-Univ.) |
| 14:10—14:30 | Guitar Chord Recognizer with Recorded Audio as Input Danica Singayan CIT-Univ.) |
| 14:30—14:50 | Cebuano Text-to-Speech System using Concatenative Synthesis Nim Langcoy (CIT-Univ.) |
| 14:50—15:10 | Tin Can Counter Arjay Cagaitan (CIT-Univ.) |
| 15:10—15:25 | Break |
| Session 4 | |
| 15:20—15:55 | Categorizing typefaces with their data-centric and user-centric attributes Gideon Bautista (CIT-Univ.) |
| 15:55—16:15 | A Notation Software for A Capella Music with Automatic Rendering of Shape Notes and Capable of Converting an Open Score to a Closed Score Robert R. Roxas, Anna Rosa N. Cortes (UP Cebu) |
| 16:15—16:35 | Predictive Modeling for Academic Churn Risk Jovelyn C. Cuizon (USJ-R) |
| 16:35—16:55 | Probabilistic Text Classification of Course Reference using Naïve Bayes Algorithm Dae Habalo (USJ-R) |
| 16:55—17:15 | Adopting Twitter Data as Corpus for Opinion Mining of Public Opinion Resty Louis Artiaga, Warren John Caruana, Janine Alexis Gallaron (USJ-R) |
| 17:17— | Closing |
6 speakers are from Japan: T. Watanabe, S. Nishizaki (Tokyo Institute of Technology), W.Fujita, K.Moriyama, N. Thammasan, and Y. Sakamoto (Osaka University).
8 speaker are from the Philippines: Silliman University, University of San Jose - Recoletos, and Cebu Institute of Technology University.