Sciweavers

662 search results - page 8 / 133
» A Catalog of Object Model Transformations
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 5 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ICPR
2004
IEEE
14 years 8 months ago
ART Extension for Description, Indexing and Retrieval of 3D Objects
This paper presents a new three-dimensional shape descriptor, called 3D angular radial transform. This descriptor is an extension of the 2D region base shape descriptor proposed b...
Atilla Baskurt, David Coeurjolly, Julien Ricard
TMM
2002
123views more  TMM 2002»
13 years 7 months ago
Object tracking using the Gabor wavelet transform and the golden section algorithm
This paper presents an object tracking method for object-based video processing which uses a two-dimensional (2-D) Gabor wavelet transform (GWT) and a 2-D golden section algorithm....
Chao He, Yuan F. Zheng, Stanley C. Ahalt
FMOODS
2003
13 years 9 months ago
Towards Object-Oriented Graphs and Grammars
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
Ana Paula Lüdtke Ferreira, Leila Ribeiro
DOCENG
2004
ACM
14 years 1 months ago
On modular transformation of structural content
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
Tyng-Ruey Chuang, Jan-Li Lin