Paper for AIST 2014. For more info refer to http://aistconf.org/