Sciweavers

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