Вы здесь

Sato T.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Equivalence-Preserving First-Order Unfold/Fold Transformation Systems 1992 Sato T. Theoretical Computer Science 17.11.1992
СТ A Multiway Merge Sorter for Sorting of Large Databases 1992 Sato T., Takeda H., Tsuda N. J. Information Processing 08.04.1993
СТ Meta-Programming through a Truth Predicate 1992 Sato T. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ A Complete Top-down Interpreter for First Order Programs 1991 Sato T., Motoyoshi F. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ A Statistical Learning Method for Logic Programs with Distribution Semantics 1995 Sato T. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ 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
СТ Influence of Compiler Optimizations on Value Prediction 2001 Sato T., Hamano A., Sugitani K., Arita I. Lecture Notes in Computer Science 18.07.2001
СТ 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