Sciweavers

14809 search results - page 340 / 2962
» Model transformation by demonstration
Sort
View
ENTCS
2006
115views more  ENTCS 2006»
15 years 6 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...
ICSE
2012
IEEE-ACM
13 years 9 months ago
A bidirectional model-driven spreadsheet environment
Abstract—In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet m...
Jácome Cunha, João Paulo Fernandes, ...
TSP
2008
154views more  TSP 2008»
15 years 6 months ago
Algebraic Signal Processing Theory: 1-D Space
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...
Markus Püschel, José M. F. Moura
ICCV
2005
IEEE
16 years 8 months ago
Prior-Based Segmentation by Projective Registration and Level Sets
Object detection and segmentation can be facilitated by the availability of a reference object. However, accounting for possible transformations between the different object views...
Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen
ICIP
2006
IEEE
16 years 8 months ago
Lossy-To-Lossless Block-Based Compression of Hyperspectral Volumetric Data
An embedded, block-based, wavelet transform coding algorithm of low complexity is proposed. Three-Dimensional Set Partitioned Embedded bloCK(3D-SPECK) efficiently encodes hyperspe...
Xiaoli Tang, William A. Pearlman