#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1980

2011

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa
- FGCS
- 1988

- Kô Sakai, Akira Aiba
- J. Symb. Comput.
- 1989

Constraint logic programming (CLP) is an extension of logic programming by introducing the facility of writing and solving constraints in a certain domain. CAL (Contrainte avec Logique) is a CLP language in which (possibly non-linear) polynomial equations can be written as constraints, while almost all the other CLP languages proposed so far have… (More)

- Jieh Hsiang, Michaël Rusinowitch, Kô Sakai
- IJCAI
- 1987

1 . I n t r o d u c t i o n In many cases, specialiied inference rules which incorporate certain axioms into the inference mechanism can produce fewer redundant consequences and more efficient proofs. The most notable example is paramodulation. Inference rules for inequalities, partial orerings, special binary relations have also been found ([BIH80],… (More)

- Ko Sakai, Leif H Finkel
- 1997

We investigate the psychophysical and computational processes underlying the perception of depth from texture cues in perspective projections. In particular, we analyse the similarities between the processes associated with perspective and orthographic projections. Based on a series of psychophysical experiments using white noise stimuli presented in… (More)

- Kô Sakai, Taizo Miyachi
- RIMS Symposia on Software Science and Engineering
- 1984

- Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima, Kô Sakai
- J. Symb. Comput.
- 2011

- Masato Morisaki, Kô Sakai
- Theor. Comput. Sci.
- 1980

- Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba
- WCLP
- 1991

- Kô Sakai, Leif H. Finkel
- CVPR
- 1994

We propose an algorithm for the determination of three dimensional shape and perspective based on the response of the human visual system to changes in visual textures. Current computer vision algorithms are computationally intensive and show inherent diflculties in integrating additional cues for the determination of shape, such as shading, contour, or… (More)

We have developed the NEXUS simulation environment as a tool for modeling largescale neural systems. The software is written in C and runs under UNIX. A unique aspect of NEXUS is that it is particularly suited for simulating hybrid neural models (i.e. systems integrating di erent modeling paradigms and/or architectures.) NEXUS is designed for large-scale… (More)