Sciweavers

225 search results - page 27 / 45
» A case based approach to expressivity-aware tempo transforma...
Sort
View
89
Voted
WADT
1998
Springer
15 years 1 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
ENTCS
2002
148views more  ENTCS 2002»
14 years 9 months ago
A Declarative Debugging System for Lazy Functional Logic Programs
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Rafael Caballero, Mario Rodríguez-Artalejo
ICIP
1998
IEEE
15 years 11 months ago
Invariant-based Data Model for Image Databases
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
Michael Kliot, Ehud Rivlin
GG
2010
Springer
14 years 10 months ago
Multi-Amalgamation in Adhesive Categories
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
Ulrike Golas, Hartmut Ehrig, Annegret Habel
ICMCS
2009
IEEE
142views Multimedia» more  ICMCS 2009»
14 years 7 months ago
Rotation invariant curvelet features for texture image retrieval
Effective texture feature is an essential component in any content based image retrieval system. In the past, spectral features, like Gabor and wavelet, have shown superior retrie...
Md. Monirul Islam, Dengsheng Zhang, Guojun Lu