Theory and Practice of Computation
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789814725972, 9789814730464
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FIGHTER OR EXPLORER? — CLASSIFYING PLAYER TYPES IN A JAPANESE-STYLE ROLE-PLAYING GAME FROM GAME METRICS

2015 ◽  
Author(s):  
Kevin Fischer ◽  
Koichi Moriyama ◽  
Ken-ichi Fukui ◽  
Masayuki Numao
Keyword(s):  
Role Playing ◽  
Role Playing Game

AN EFFICIENT IMPLEMENTATION OF SATISFIABILITY CHECKING FOR LTL WITH MEAN-PAYOFF CONSTRAINTS

2015 ◽  
Author(s):  
Takashi Tomita ◽  
Takahito Kimura ◽  
Shigeki Hagihara ◽  
Naoki Yonezaki
Keyword(s):  
Efficient Implementation ◽  
Satisfiability Checking ◽  
Mean Payoff

LAZY RPC AND RMI CALCULI

2015 ◽  
Author(s):  
Shota Araki ◽  
Shin-ya Nishizaki

Using Machine Learning to Provide Rapid Rainfall Forecasts Based on Radar-Derived Data

2015 ◽  
Author(s):  
Daryll Panaligan ◽  
Justine Arrnon Razon ◽  
Jaime Caro ◽  
Carlos Primo David
Keyword(s):  
Machine Learning ◽  
Derived Data

PROTOCOL FOR DATA COLLECTION OF MOBILE WIRELESS SENSOR NODES

2015 ◽  
Author(s):  
G. G. Cu ◽  
S. J. Arriola ◽  
J. L. Balares ◽  
K. G. Santuyo ◽  
J. A. Yanela
Keyword(s):  
Data Collection ◽  
Sensor Nodes ◽  
Wireless Sensor ◽  
Wireless Sensor Nodes ◽  
Mobile Wireless ◽  
Mobile Wireless Sensor

GENRE CLASSIFICATION OF OPM SONGS THROUGH THE USE OF MUSICAL FEATURES

2015 ◽  
Author(s):  
J. A. Deja ◽  
K. Blanquera ◽  
C. E. Carabeo ◽  
J. R. Copiaco
Keyword(s):  
Genre Classification

FRONT MATTER

2015 ◽  
Author(s):  
Shin-ya Nishizaki ◽  
Masayuki Numao ◽  
Jaime D L Caro ◽  
Merlin Teodosia C Suarez
Load More ...
Sign in / Sign up

Export Citation Format

Share Document