Sciweavers

1836 search results - page 250 / 368
» Hierarchies for semantic classes
Sort
View
ICIP
2010
IEEE
14 years 8 months ago
Geometrical features for the classification of very high resolution multispectral remote-sensing images
In order to extract geometrical features from a multispectral image and derive a classification, an approach based on the topographic map of the image is proposed. For each pixel,...
Bin Luo, Jocelyn Chanussot
ENTCS
2010
125views more  ENTCS 2010»
14 years 7 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
PLDI
2009
ACM
15 years 4 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni
DAGSTUHL
2007
14 years 11 months ago
Exploiting the ASM method within the Model-driven Engineering paradigm
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
ICDE
2001
IEEE
121views Database» more  ICDE 2001»
15 years 11 months ago
Model-Based Mediation with Domain Maps
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
Amarnath Gupta, Bertram Ludäscher, Maryann E....