Kô Sakai

Publication Activity (10 Years)

Years Active: 1980-2011
Publications (10 Years): 0

Publications

Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima, Kô Sakai
Boolean Gröbner bases. J. Symb. Comput. 46 (5) (2011)
Kô Sakai, Paul Sajda, Shih-Cheng Yen, Leif H. Finkel
Coarse-grain parallel computing for very large scale neural simulations in the NEXUS simulation environment. Comput. Biol. Medicine 27 (4) (1997)
Kô Sakai, Leif H. Finkel
A shape-from-texture algorithm based on human visual psychophysics. CVPR (1994)
Kô Sakai, Leif H. Finkel
A Network Mechanism for the Determination of Shape-from-Texture. NIPS (1993)
Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba
A Study on Boolean Constraint Solvers. WCLP (1991)
Akihiko Ohsuga, Kô Sakai
Complete Equational Unification Based on an Extension of the Knuth-Bendix Completion Procedure. IWWERT (1990)
Kô Sakai, Akira Aiba
CAL: A Theoretical Background of Constraint Logic Programming and its Applications. J. Symb. Comput. 8 (6) (1989)
Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa
Constraints Logic Programming Language CAL. FGCS (1988)
Jieh Hsiang, Michaël Rusinowitch, Kô Sakai
Complete Inference Rules for the Cancellation Laws. IJCAI (1987)
Kô Sakai, Taizo Miyachi
Incorporating Naïve Negation into Prolog. RIMS Symposia on Software Science and Engineering (1984)
Shigeyuki Takagi, Toshio Yokoi, Shunichi Uchida, Toshiaki Kurokawa, Takashi Hattori, Takashi Chikayama, Kô Sakai, Junichiro Tsuji
Overall design of SIMPOS. ICLP (1984)
Masato Morisaki, Kô Sakai
A Complete Axiom System for Rational Sets with Multiplicity. Theor. Comput. Sci. 11 (1980)