Traditional performance analysis of approximation algorithms considers overall performance, while economic fairness analysis focuses on the individual performance each user receiv...
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
This paper presents a novel classification strategy for 3D objects. Our technique is based on using a Global Geodesic Function to intrinsically describe the surface ofan object. T...
Trials on the transmission of olfactory information together with audio/visual information are currently being conducted in the field of multimedia. However, continuous emission ...
Ami Kadowaki, Junta Sato, Yuichi Bannai, Ken-ichi ...