|
СТ |
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 |
|
СТ |
Influence of Compiler Optimizations on Value Prediction |
2001 |
Sato T., Hamano A., Sugitani K., Arita I. |
|
|
|
Lecture Notes in Computer Science |
18.07.2001 |
|
СТ |
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 |
|
СТ |
A Statistical Learning Method for Logic Programs with Distribution Semantics |
1995 |
Sato T. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
A Complete Top-down Interpreter for First Order Programs |
1991 |
Sato T., Motoyoshi F. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
Meta-Programming through a Truth Predicate |
1992 |
Sato T. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
A Multiway Merge Sorter for Sorting of Large Databases |
1992 |
Sato T., Takeda H., Tsuda N. |
|
|
|
J. Information Processing |
08.04.1993 |
|
СТ |
Equivalence-Preserving First-Order Unfold/Fold Transformation Systems |
1992 |
Sato T. |
|
|
|
Theoretical Computer Science |
17.11.1992 |
