Descripteur
Documents disponibles dans cette catégorie (2536)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Etendre la recherche sur niveau(x) vers le bas
Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents / H. Fadil in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 2 (mars - avril 2008)
[article]
Titre : Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents Type de document : Article/Communication Auteurs : H. Fadil, Auteur ; J. Koning, Auteur Année de publication : 2008 Article en page(s) : pp 33 - 52 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] langage de modélisation
[Termes IGN] schéma conceptuel de données
[Termes IGN] système multi-agents
[Termes IGN] UMLRésumé : (Auteur) Les travaux de recherche relevant du domaine des systèmes multi-agents se sont largement intéressés à la définition de protocoles d'interaction en vue de régir les communications entre agents. Néanmoins, ces protocoles sont souvent informels (décrits par des textes) ou semi-formels (décrits par des diagrammes), et manquent, par conséquent, de bases théoriques solides permettant de prouver leur correction. Il est donc important de mettre en oeuvre une méthodologie stricte et abordable pour spécifier, concevoir et vérifier les protocoles d'interaction de ces systèmes. Pour cela, l'usage d'une méthode formelle, telle que B, présente des avantages indéniables. Dans le cadre de notre investigation, nous proposons, dans un premier temps, une passerelle entre une modélisation semi-formelle en AUML et sa contre-partie formelle en B. Ensuite, nous montrons l'apport de notre démarche en injectant dans la spécification formelle une formalisation d'un ensemble de propriétés élémentaires telles que la cohérence des messages, la pertinence des protocoles et des rôles, etc. Copyright Lavoisier Numéro de notice : A2008-173 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29168
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 13 n° 2 (mars - avril 2008) . - pp 33 - 52[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-08021 RAB Revue Centre de documentation En réserve L003 Disponible Embedding sustainable development strategies in agent-based models for use as a planning tool / X. Li in International journal of geographical information science IJGIS, vol 22 n° 1-2 (february 2008)
![]()
[article]
Titre : Embedding sustainable development strategies in agent-based models for use as a planning tool Type de document : Article/Communication Auteurs : X. Li, Auteur ; X. Liu, Auteur Année de publication : 2008 Article en page(s) : pp 21 - 45 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géomatique
[Termes IGN] automate cellulaire
[Termes IGN] Chine
[Termes IGN] croissance urbaine
[Termes IGN] développement durable
[Termes IGN] exploration de données géographiques
[Termes IGN] interaction homme-milieu
[Termes IGN] planification urbaine
[Termes IGN] système multi-agents
[Termes IGN] utilisation du solRésumé : (Auteur) Rapid land development in rapidly growing countries has created a series of land-use problems. The implementation of sustainable land use can alleviate some of these problems. It needs a set of tools for the exploration, design, modification, illustration, and evaluation of alternative planning scenarios. This paper demonstrates that the integration of cellular automata and agent-based modelling can provide a spatial exploratory tool for generating alternative development patterns. Sustainable development strategies are embedded in the modelling to regulate agents' behaviours. The use of agents can help to represent human-environment interactions in solving complex land-use problems. It is able to examine the effects of different stakeholders in influencing the process of land development. The proposed model has been applied to the simulation of planning scenarios for residential development in a rapidly expanding city in the Pearl River Delta. Copyright Taylor & Francis Numéro de notice : A2008-103 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : 10.1080/13658810701228686 En ligne : https://doi.org/10.1080/13658810701228686 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29098
in International journal of geographical information science IJGIS > vol 22 n° 1-2 (february 2008) . - pp 21 - 45[article]Réservation
Réserver ce documentExemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 079-08011 RAB Revue Centre de documentation En réserve L003 Disponible 079-08012 RAB Revue Centre de documentation En réserve L003 Disponible Land-cover change and environmental impact analysis in the Greater Mankato area of Minnesota using remote sensing and GIS modelling / F. Yuan in International Journal of Remote Sensing IJRS, vol 29 n°3-4 (February 2008)
![]()
[article]
Titre : Land-cover change and environmental impact analysis in the Greater Mankato area of Minnesota using remote sensing and GIS modelling Type de document : Article/Communication Auteurs : F. Yuan, Auteur Année de publication : 2008 Article en page(s) : pp 1169 - 1184 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Applications de télédétection
[Termes IGN] aménagement du territoire
[Termes IGN] analyse diachronique
[Termes IGN] apprentissage automatique
[Termes IGN] carte d'occupation du sol
[Termes IGN] détection de changement
[Termes IGN] fusion d'images
[Termes IGN] image Quickbird
[Termes IGN] impact sur l'environnement
[Termes IGN] Minnesota (Etats-Unis)
[Termes IGN] photographie aérienne
[Termes IGN] planification urbaine
[Termes IGN] surface imperméable
[Termes IGN] système d'information géographique
[Termes IGN] urbanisationRésumé : (Auteur) Land use and land-cover (LULC) data provide essential information for environmental management and planning. This research evaluates the land-cover change dynamics and their effects for the Greater Mankato Area of Minnesota using image classification and Geographic Information Systems (GIS) modelling in high-resolution aerial photography and QuickBird imagery. Results show that from 1971 to 2003, urban impervious surfaces increased from 18.3% to 32.6%, while cropland and grassland decreased from 54.2% to 39.1%. The dramatic urbanization caused evident environmental impacts in terms of runoff and water quality, whereas the annual air pollution removal rate and carbon storage/sequestration remained consistent since urban forests were steady over the 32-year span. The results also indicate that highly accurate land-cover features can be extracted effectively from high-resolution imagery by incorporating both spectral and spatial information, applying an image-fusion technique, and utilizing the hierarchical machine-learning Feature Analyst classifier. This research fills the high-resolution LULC data gap for the Greater Mankato Area. The findings of the study also provide valuable inputs for local decision-makers and urban planners. Copyright Taylor & Francis Numéro de notice : A2008-008 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1080/01431160701294703 En ligne : https://doi.org/10.1080/01431160701294703 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29003
in International Journal of Remote Sensing IJRS > vol 29 n°3-4 (February 2008) . - pp 1169 - 1184[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 080-08021 RAB Revue Centre de documentation En réserve L003 Disponible The application of artificial neural networks to the analysis of remotely sensed data / J.F. Mas in International Journal of Remote Sensing IJRS, vol 29 n°3-4 (February 2008)
![]()
[article]
Titre : The application of artificial neural networks to the analysis of remotely sensed data Type de document : Article/Communication Auteurs : J.F. Mas, Auteur ; J.J. Flores, Auteur Année de publication : 2008 Article en page(s) : pp 617 - 663 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Traitement d'image
[Termes IGN] apprentissage automatique
[Termes IGN] classification par réseau neuronal
[Termes IGN] image aérienne
[Termes IGN] image satellite
[Termes IGN] réseau neuronal artificielRésumé : (Auteur) Artificial neural networks (ANNs) have become a popular tool in the analysis of remotely sensed data. Although significant progress has been made in image classification based upon neural networks, a number of issues remain to be resolved. This paper reviews remotely sensed data analysis with neural networks. First, we present an overview of the main concepts underlying ANNs, including the main architectures and learning algorithms. Then, the main tasks that involve ANNs in remote sensing are described. The limitations and crucial issues relating to the application of the neural network approach are discussed. A brief review of the implementation of ANNs in some of the most popular image processing software packages is presented. Finally, we discuss the application perspectives of neural networks in remote sensing image analysis. Copyright Taylor & Francis Numéro de notice : A2008-004 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1080/01431160701352154 En ligne : https://doi.org/10.1080/01431160701352154 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28999
in International Journal of Remote Sensing IJRS > vol 29 n°3-4 (February 2008) . - pp 617 - 663[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 080-08021 RAB Revue Centre de documentation En réserve L003 Disponible Web service approaches for providing enriched data structures to generalisation operators / Moritz Neun in International journal of geographical information science IJGIS, vol 22 n° 1-2 (february 2008)
![]()
[article]
Titre : Web service approaches for providing enriched data structures to generalisation operators Type de document : Article/Communication Auteurs : Moritz Neun, Auteur ; Robert Weibel, Auteur ; Dirk Burghardt, Auteur Année de publication : 2008 Article en page(s) : pp 133 - 165 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Termes IGN] approche hiérarchique
[Termes IGN] base de connaissances
[Termes IGN] généralisation cartographique automatisée
[Termes IGN] grammaire de graphes
[Termes IGN] graphe
[Termes IGN] opérateur de généralisation
[Termes IGN] service web
[Termes IGN] structure de données localisées
[Vedettes matières IGN] GénéralisationRésumé : (Auteur) Web service technologies can be used to establish an interoperable framework between different generalisation systems. In a previous article three categories of generalisation web services were identified, including support services, operator services and processing services. This paper focuses on the category of support services. In a service-based generalisation system, the purpose of support services is to assist the generalisation process by providing auxiliary measures, procedures and data structures that allow the representation of structural cartographic knowledge. The structural knowledge of the spatial and semantic context and the modelling of structural and spatial relationships is critical for the understanding of the role of cartographic features and thus for automated generalisation. Support services should extract and model this knowledge from the raw data and make it available to other generalisation operators. On the one hand the structural knowledge can be expressed by enriching map features with additional geometries or attributes. On the other hand, there exist various hierarchical and non-hierarchical relationships between map features, many of which can be represented by graph data structures. After a brief introduction to the interoperable web service framework, this paper proposes a taxonomy of generalisation support services and discusses its elements. It is then shown how the complex output of such services can be represented for use with web services and stored in a reusable fashion. Finally, the utilisation of support services is illustrated on four implementation examples of support services that also highlight the interactions with the generalisation operators that use these auxiliary services. Copyright Taylor & Francis Numéro de notice : A2008-105 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : 10.1080/13658810701348997 En ligne : https://www.tandfonline.com/doi/full/10.1080/13658810701348997 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29100
in International journal of geographical information science IJGIS > vol 22 n° 1-2 (february 2008) . - pp 133 - 165[article]Réservation
Réserver ce documentExemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 079-08011 RAB Revue Centre de documentation En réserve L003 Disponible 079-08012 RAB Revue Centre de documentation En réserve L003 Disponible PermalinkCSTST 2008, the 5th International conference on soft computing as transdisciplinary science and technology, October 28th - October 31st 2008, University of Cergy-Pontoise, France / Richard Chbeir (2008)
PermalinkDétection automatique des points de fuite et calcul de leur incertitude à l'aide de la géométrie projective / Mahzad Kalantari (2008)
![]()
PermalinkDiagnosis in systems based on an informed tree search strategy: application to cartographic generalisation / Patrick Taillandier (2008)
PermalinkPermalinkPermalinkPermalinkPermalinkKnowledge revision in systems based on an informed tree search strategy: application to cartographic generalisation / Patrick Taillandier (2008)
PermalinkRévision automatique des connaissances guidant l'exploration informée d'arbres d'états / Patrick Taillandier (2008)
PermalinkPermalinkPermalinkVisual analysis of network traffic – interactive monitoring, detection, and interpretation of security threats / Florian Mansmann (ca 2008)
PermalinkBorder vector detection and adaptation for classification of multispectral and hyperspectral remote sensing images / N.G. Kasapoglu in IEEE Transactions on geoscience and remote sensing, vol 45 n° 12 Tome 1 (December 2007)
PermalinkGesticulation: agent-based simulation of complex spatial systems or how to put the real simcity into practice with the agent analyst extension for ArcGIS / F. Fischer in Geoinformatics, vol 10 n° 8 (01/12/2007)
PermalinkRévision des connaissances d'un processus de généralisation de données géographiques / Patrick Taillandier in Le monde des cartes, n° 194 (décembre 2007)
PermalinkA supervised artificial immune classifier for remote-sensing imagery / Y. Zhong in IEEE Transactions on geoscience and remote sensing, vol 45 n° 12 Tome 1 (December 2007)
PermalinkA time-efficient method for anomaly detection in hyperspectral images / O. Duran in IEEE Transactions on geoscience and remote sensing, vol 45 n° 12 Tome 1 (December 2007)
PermalinkVisibility prediction based on artificial neural networks used in automatic network design / M. Saadatseresht in Photogrammetric record, vol 22 n° 120 (December 2007 - February 2008)
PermalinkFeature selection by genetic algorithms in object-based classification of Ikonos imagery for forest mapping in Flanders, Belgium / F.M.B. Van Coillie in Remote sensing of environment, vol 110 n° 4 (30/10/2007)
Permalink