Sciweavers

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