Sciweavers

3771 search results - page 33 / 755
» Subobject Transformation Systems
Sort
View
VSTTE
2005
Springer
15 years 11 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
ICIAR
2004
Springer
15 years 11 months ago
A Real-Time Image Stabilization System Based on Fourier-Mellin Transform
J. Ramiro Martinez de Dios, Aníbal Ollero