1425 search results - page 82 / 285 » Semantic Based Schema Analysis |
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
PCI
2005
Springer
14 years 3 months ago
2005
Springer
MPEG-7 has emerged as the standard for multimedia data content description. As it is in its early age, it tries to evolve towards a direction in which semantic content description ...
AGP
1995
IEEE
14 years 1 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
SCP
1998
13 years 9 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
ICIP
2005
IEEE
2005
IEEE
Semantic discriminant mapping for classification and browsing of remote sensing textures and objects
14 years 11 months ago
We present a new approach based on Discriminant Analysis to map a high dimensional image feature space onto