Sciweavers

4074 search results - page 154 / 815
» Abstract Graph Transformation
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
14 years 11 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
108
Voted
HASKELL
2009
ACM
15 years 8 months ago
Alloy: fast generic transformations for Haskell
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
Neil C. C. Brown, Adam T. Sampson
ISVC
2007
Springer
15 years 8 months ago
Fitting the World to the Mind: Transforming Images to Mimic Perceptual Adaptation
Abstract. Visual sensitivity is constantly adjusting to the current visual context through processes of adaptation. These adaptive changes strongly affect all perceptual judgments ...
Michael A. Webster, Kyle McDermott, George Bebis
104
Voted
APCCAS
2006
IEEE
304views Hardware» more  APCCAS 2006»
15 years 8 months ago
Low-Power Bus Transform Coding for Multilevel Signals
Abstract— In this paper, we propose a novel extension of BusInvert coding to handle 4-level pulse amplitude modulated (PAM-4) signals. A generalized mathematical model for energy...
Fakhrul Zaman Rokhani, Gerald E. Sobelman
CGI
2006
IEEE
15 years 8 months ago
Skeleton-Based Shape Deformation Using Simplex Transformations
Abstract. This paper presents a novel skeleton-based method for deforming meshes, based on an approximate skeleton. The major difference from previous skeleton-based methods is th...
Han-Bing Yan, Shi-Min Hu, Ralph Martin