Sciweavers

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