Mikio Yoshida

11 papers A* 1B 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2014 J jnl
A Network Representation of First-Order Logic That Uses Token Evolution for Inference.
J. Inf. Sci. Eng.
Hideaki Suzuki, Mikio Yoshida, Hidefumi Sawai
2012 — conf
A Data-Flow Network That Represents First-Order Logic for Inference.
TAAI
Hideaki Suzuki, Mikio Yoshida, Hidefumi Sawai
2010 — conf
A Large Scale Key-Value Store Based on Range-Key Skip Graph and Its Applications.
DASFAA (2)
Susumu Takeuchi, Jun Shinomiya, Toru Shiraki, Yoshimasa Ishi, Yuuichi Teranishi, Mikio Yoshida, Shinji Shimojo
2010 — conf
P2P-Based Scalable Execution Platform for Algorithmically Transitive Network.
BIONETICS
Mikio Yoshida, Hideaki Suzuki, Hidefumi Sawai
2010 B conf
Range-Key Extension of the Skip Graph.
GLOBECOM
Yoshimasa Ishi, Yuuichi Teranishi, Mikio Yoshida, Susumu Takeuchi, Shinji Shimojo, Shojiro Nishio
2008 A* conf
A Geographical Observation System based on P2P Agents.
PerCom
Yuuichi Teranishi, Hirokazu Tanaka, Yoshimasa Ishi, Mikio Yoshida
2001 — conf
Management and Realization of SLA for Providing Network QoS.
ICN (1)
Manzoor Hashmani, Mikio Yoshida, Takeshi Ikenaga, Yuji Oie
2000 J jnl
PNAD-CSS: a workbench for constructing a protein name abbreviation dictionary.
Bioinform.
Mikio Yoshida, Ken-ichiro Fukuda, Toshihisa Takagi
1995 — conf
A Virtual Space Teleconferencing System that Supports Intuitive Interaction for Creative and Cooperative Work.
SI3D
Mikio Yoshida, Yuri A. Tijerino, Shinji Abe, Fumio Kishino
1987 J jnl
A Fixpoint Semantics of Horn Sentences Based on Substitution Sets.
Theor. Comput. Sci.
Susumu Yamasaki, Mikio Yoshida, Shuji Doshita
1984 J jnl
A New Combination of Input and Unit Deductions for Horn Sentences.
Inf. Process. Lett.
Susumu Yamasaki, Mikio Yoshida, Shuji Doshita, Mikito Hirata