Вы здесь

Sato T.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Complete Top-down Interpreter for First Order Programs 1991 Sato T., Motoyoshi F. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ A Multiway Merge Sorter for Sorting of Large Databases 1992 Sato T., Takeda H., Tsuda N. J. Information Processing 08.04.1993
СТ A Statistical Learning Method for Logic Programs with Distribution Semantics 1995 Sato T. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic 2004 Hagiya M., Takahashi K., Yamamoto M., Sato T. Lecture Notes in Computer Science 07.05.2004
СТ Equivalence-Preserving First-Order Unfold/Fold Transformation Systems 1992 Sato T. Theoretical Computer Science 17.11.1992
СТ Influence of Compiler Optimizations on Value Prediction 2001 Sato T., Hamano A., Sugitani K., Arita I. Lecture Notes in Computer Science 18.07.2001
СТ Meta-Programming through a Truth Predicate 1992 Sato T. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Video OCR: Indexing Digital News Libraries by Recognition of Superimposed Captions 1999 Sato T., Kanade T., Hughes E. K., Smith M. A., Satoh S. Multimedia Systems 20.09.2000