Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2014

by Shin-ya Nishizaki, Masayuki Numao, Jaime D L Caro, Merlin Teodosia C Suarez

Overview

This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2014 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines - Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.

Product Details

ISBN-13:	9789814725972
Publisher:	World Scientific Publishing Company, Incorporated
Publication date:	01/28/2016
Pages:	156
Product dimensions:	6.10(w) x 9.10(h) x 0.60(d)

Table of Contents

Preface v

Program Committees vii

Sandal: A Modeling Language Supporting Exhaustive Fault-Injection Suzuki, M. Watanabe, T. 1

An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints Tomita, T. Kimura, T. Hagihara, S. Yonezaki, N. 13

Lazy RPC and RMI calculi Araki, S. Nishizaki, S. 28

Learning better strategies with a combination of complementary reinforcement learning algorithms Fujita, W. Moriyama, K. Fukui, K. Numao, M. 43

Fighter or Explorer? Classifying Player Types in a Japanese-Style Role-Playing Game from Came Metrics Fischer, K. Moriyama, K. Fukui, K. Ahwiao, M. 55

Node Energy and Location-based Cluster Head Selection for the LEACH Routing Algorithm Damasco, R. P. Tolentino. M. A. Lim, Y. Ong. A. V. 67

Genre Classification of OPM Songs Through the Use of Musical Features Deja, J. A. Blanquera, K. Carabeo, C. E. Copiaco, J. R. 77

Dynamic and Individual Emotion Recognition Based on EEG during Music Listening Thammasan, N. Fukui, K. Moriyama, K. Numao, M. 89

Protocol for Data Collection of Mobile Wireless Sensor Nodes Cu, G. G. Arriola, S. J. Balares, J. L. Santuyu, K. G. Yanela, J. A. 101

Using Machine Learning to Provide Rapid Rainfall Forecasts Based on Radar-Derived Data Panaligan, D. Razon. J. A. Cam, J. David, G. P. 117

Internet of Things: Managing Wireless Sensor Network with REST API for Smart Homes Flores, F. K. Magdaong, C. K. Cu, G. 132

Author Index 143