Descripteur
Termes IGN > informatique > génie logiciel > programmation informatique > programmation par contraintes
programmation par contraintesSynonyme(s)PpcVoir aussi |
Documents disponibles dans cette catégorie (126)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
Structured sparse method for hyperspectral unmixing / Feiyun Zhu in ISPRS Journal of photogrammetry and remote sensing, vol 88 (February 2014)
[article]
Titre : Structured sparse method for hyperspectral unmixing Type de document : Article/Communication Auteurs : Feiyun Zhu, Auteur ; Yin Wang, Auteur ; Shiming Xiang, Auteur ; Bin Fan, Auteur ; Chunhong Pan, Auteur Année de publication : 2014 Article en page(s) : pp 101 - 118 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Traitement d'image optique
[Termes IGN] analyse des mélanges spectraux
[Termes IGN] factorisation
[Termes IGN] image hyperspectrale
[Termes IGN] matrice creuse
[Termes IGN] programmation par contraintesRésumé : (Auteur) Hyperspectral Unmixing (HU) has received increasing attention in the past decades due to its ability of unveiling information latent in hyperspectral data. Unfortunately, most existing methods fail to take advantage of the spatial information in data. To overcome this limitation, we propose a Structured Sparse regularized Nonnegative Matrix Factorization (SS-NMF) method based on the following two aspects. First, we incorporate a graph Laplacian to encode the manifold structures embedded in the hyperspectral data space. In this way, the highly similar neighboring pixels can be grouped together. Second, the lasso penalty is employed in SS-NMF for the fact that pixels in the same manifold structure are sparsely mixed by a common set of relevant bases. These two factors act as a new structured sparse constraint. With this constraint, our method can learn a compact space, where highly similar pixels are grouped to share correlated sparse representations. Experiments on real hyperspectral data sets with different noise levels demonstrate that our method outperforms the state-of-the-art methods significantly. Numéro de notice : A2014-087 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1016/j.isprsjprs.2013.11.014 En ligne : https://doi.org/10.1016/j.isprsjprs.2013.11.014 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=32992
in ISPRS Journal of photogrammetry and remote sensing > vol 88 (February 2014) . - pp 101 - 118[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 081-2014021 RAB Revue Centre de documentation En réserve L003 Disponible Localisation de véhicule par satellites couplée à la navigation à l'estime et aux données cartographiques / David Bétaille (2014)
Titre : Localisation de véhicule par satellites couplée à la navigation à l'estime et aux données cartographiques Type de document : Thèse/HDR Auteurs : David Bétaille, Auteur Editeur : Nantes : Université de Nantes Année de publication : 2014 Importance : 95 p. Format : 21 x 30 cm Note générale : bibliographie
Mémoire scientifique d’Habilitation à Diriger les Recherches, Ecole Doctorale STIM Sciences et Technologies de l’Information et de Mathématiques de l’Université de Nantes, Angers, Le Mans, Robotique, 2014Langues : Français (fre) Descripteur : [Vedettes matières IGN] Navigation et positionnement
[Termes IGN] base de données localisées IGN
[Termes IGN] correction du trajet multiple
[Termes IGN] erreur de phase
[Termes IGN] fusion de données
[Termes IGN] géolocalisation
[Termes IGN] GNSS assisté pour la navigation
[Termes IGN] mesurage de phase
[Termes IGN] navigation à l'estime
[Termes IGN] positionnement par GNSS
[Termes IGN] positionnement par GPS
[Termes IGN] programmation par contraintes
[Termes IGN] robotique
[Termes IGN] système de transport intelligent
[Termes IGN] trajet multiple
[Termes IGN] zone urbaineIndex. décimale : THESE Thèses et HDR Résumé : (auteur) La localisation est une des briques technologiques des ITS (systèmes de transport intelligent), avec les télécommunications sans fil, l'informatique ... Les technologies satellitaires de localisation (GNSS) constituent le fil conducteur des travaux présentés ici. Aujourd'hui, elles sont en particulier mises en oeuvre pour les véhicules de demain, dans le contexte des ITS, mais des travaux plus anciens, liés aux recherches en robotique de chantier, sont rapportés aussi dans le manuscrit d'HDR. La thèse (Bétaille, 2004) effectuée en partenariat entre University College London, Leica Geosystems et le LCPC apporte d'ailleurs un ensemble de contributions précisément dans le contexte de la robotique de chantier. Ainsi, la première partie du manuscrit (chapitres 2 et 3) présente dans ses grandes lignes le positionnement par satellites et les différents modes d'utilisation du GPS. Un des modes les plus précis (celui utilisant les mesures de phase du signal) sert en robotique de chantier, avec toutefois un verrou technologique lié aux réflexions électromagnétiques locales du signal (multi-trajets). Une méthodologie expérimentale appliquée à l'étude des perturbations de la mesure de phase par multi-trajets a été apportée. Ces perturbations ont été étudiées, donnant lieu à la proposition d'un algorithme de correction des erreurs de phase applicable en temps-réel. Cette correction est notamment efficace quand les multi-trajets sont issus de réflecteurs proches (avec un gain de 20% par rapport à un corrélateur PMMW spécialisé tel qu'implémenté par Leica dans ses récepteurs pour la topométrie et la géodésie). [Bétaille et al., 2006], article publié aux Transactions IEEE AES, est la principale publication concernant ces travaux. Dans les dix dernières années, les contributions scientifiques ont été faites dans le domaine de la localisation pour les ITS, au sein du laboratoire Géolocalisation de l'IFSTTAR (chapitres 4 et 5 du manuscrit). La principale originalité des travaux menés - tant en couplage lâche que serré, c'est-à-dire tant au niveau des solutions élaborées par les récepteurs GNSS, qu'au niveau de leurs mesures brutes de distance et Doppler - tient à l'utilisation de données de la géomatique en localisation sous contraintes. Ainsi, la thèse d'Ahmed Selloum (Selloum, 2010) et le projet européen CVIS POMA (Cooperative Vehicle Infrastructure System - POsitioning and MApping) ont démontré l'intérêt de résoudre ensemble les problèmes de localisation et de map-matching, avec production d'un indicateur d'intégrité associé. Les références remarquables, outre la thèse elle-même, sont : [Toledo et al., 2010] et [Bétaille and Toledo, 2010], publiées aux Transactions IEEE ITS. Des données numériques nouvelles présentant toutes les voies de circulation ont été proposées alors. Dans les recherches les plus récentes, les modèles urbains 3D disponibles à l'IGN ont aussi été intégrés au calcul de la solution de navigation, avec correction des mesures de distances aux satellites identifiés comme invisibles en direct. Cette correction a montré son efficacité, avec un gain atteignant 70% par rapport à un solveur standard dans Paris par exemple. [Peyraud et al., 2013], publié à Sensors, et [Bétaille et al., 2013a], publié au Magazine IEEE ITS, sont les principales publications se référant à ces travaux. Un article de synthèse dans une revue internationale à comité de lecture a été soumis début 2014. Note de contenu : Introduction
1 - Situation des thématiques de recherche par rapport aux différents modes de positionnement GPS dynamiques
2 - Contribution à la problématique de recherche en localisation pour la robotique de chantier
3 - Développement de solutions de localisation de véhicule par fusion de données multi-capteurs et cartes
4 - Analyse des erreurs de pseudo-distance par multi-trajets et navigation urbaine aidée par la carte 3DNuméro de notice : 21594 Affiliation des auteurs : non IGN Thématique : POSITIONNEMENT Nature : HDR Note de thèse : Mémoire HDR : Robotique : Nantes : 2014 En ligne : https://tel.archives-ouvertes.fr/tel-01634339 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=90634
Titre : Multi-agent multi-level cartographic generalisation in CartAGen Type de document : Article/Communication Auteurs : Adrien Maudet , Auteur ; Guillaume Touya , Auteur ; Cécile Duchêne , Auteur ; Sébastien Picault, Auteur Editeur : Berlin, Heidelberg, Vienne, New York, ... : Springer Année de publication : 2014 Collection : Lecture notes in Computer Science Sous-collection : Lecture Notes in Artificial Intelligence num. 8473 Projets : 1-Pas de projet / Conférence : PAAMS 2014, 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, Advances in Practical Applications of Heterogeneous Multi-Agent Systems 04/06/2014 06/06/2014 Salamanque Espagne Proceedings Springer Importance : pp 355 - 358 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Termes IGN] CartAGen (plateforme de généralisation)
[Termes IGN] généralisation cartographique automatisée
[Termes IGN] modèle (conceptuel) de généralisation
[Termes IGN] modèle orienté agent
[Termes IGN] niveau de détail
[Termes IGN] programmation par contraintes
[Vedettes matières IGN] GénéralisationRésumé : (auteur) The objective of cartographic generalisation is to simplify geographic data in order to create legible maps when scale decreases. This demonstration presents the implementation of a work in progress, aiming at defining a multi-agent, multi-level solution for generalisation. The demonstration introduces the basics of cartographic generalisation and shows some aspects of the model currently being developed, including parameterisation and detailed execution of some interactions, as well as results. Numéro de notice : C2014-017 Affiliation des auteurs : LASTIG COGIT+Ext (2012-2019) Thématique : GEOMATIQUE Nature : Communication nature-HAL : ComAvecCL&ActesPubliésIntl DOI : 10.1007/978-3-319-07551-8_37 En ligne : http://dx.doi.org/10.1007/978-3-319-07551-8_37 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=78561 Representation of interactions in a multi-level multi-agent model for cartography constraint solving / Adrien Maudet (2014)
Titre : Representation of interactions in a multi-level multi-agent model for cartography constraint solving Type de document : Article/Communication Auteurs : Adrien Maudet , Auteur ; Guillaume Touya , Auteur ; Cécile Duchêne , Auteur ; Sébastien Picault, Auteur Editeur : Berlin, Heidelberg, Vienne, New York, ... : Springer Année de publication : 2014 Collection : Lecture notes in Computer Science Sous-collection : Lecture Notes in Artificial Intelligence num. 8473 Projets : 1-Pas de projet / Conférence : PAAMS 2014, 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, Advances in Practical Applications of Heterogeneous Multi-Agent Systems 04/06/2014 06/06/2014 Salamanque Espagne Proceedings Springer Importance : pp 183 - 194 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées
[Termes IGN] généralisation cartographique automatisée
[Termes IGN] modèle orienté agent
[Termes IGN] niveau de détail
[Termes IGN] objet cartographique
[Termes IGN] programmation par contraintes
[Termes IGN] représentation multiple
[Termes IGN] système multi-agentsRésumé : (auteur) The objective of cartographic generalisation is to simplify geographic data in order to create legible maps when scale decreases. It often requires to reason at different levels of abstraction (e.g. a building, a city). To automate this process, Multi-Agent approaches have been used for several years. Map objects (e.g. buildings) are modelled as autonomous entities that try to solve constraints through appropriate transformations. Yet, those approaches are not able to deal with all situations that appear between cartographic objects in a map. Indeed, though a map intrinsically involves objects that belong to several description, scale or organisation levels, there is no explicit multi-level representation in agent-based cartographic models. Thus we assume that the use of a multi-level multi-agent model would improve the automated generalisation process. Especially, the PADAWAN model is a multi-agent model offering multi-level capabilities which meet quite well the requirements for the multi-level organisation of cartographic objects. In this paper, we expose how we use this model on the one hand, to reify multi-level relations between cartographic agents, and on the other hand, to represent the constraints and the actions proposed to solve them, as interactions between the agents. Numéro de notice : C2014-019 Affiliation des auteurs : LASTIG COGIT+Ext (2012-2019) Thématique : GEOMATIQUE Nature : Communication nature-HAL : ComAvecCL&ActesPubliésIntl DOI : 10.1007/978-3-319-07551-8_16 En ligne : http://dx.doi.org/10.1007/978-3-319-07551-8_16 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=78583 Adaptive geo-information processing service evolution: Reuse and local modification method / Haifeng Li in ISPRS Journal of photogrammetry and remote sensing, vol 83 (September 2013)
[article]
Titre : Adaptive geo-information processing service evolution: Reuse and local modification method Type de document : Article/Communication Auteurs : Haifeng Li, Auteur ; Bo Wu, Auteur Année de publication : 2013 Article en page(s) : pp 165 - 183 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géomatique web
[Termes IGN] contrainte d'intégrité
[Termes IGN] processus de hiérarchisation analytique
[Termes IGN] réutilisation des données
[Termes IGN] service de traitement
[Termes IGN] service web géographique
[Termes IGN] utilisateurRésumé : (Auteur) Geo-information (GI) service automated composition according to user demands is a crucial task in spatial data infrastructures. State-of-the-art GI service composition approaches face serious limitations in terms of effectiveness and stability as the general GI processing service chain (GIPSC) must be generated from individual user specifications from scratch. This paper presents a novel approach called an adaptive geo-information service evolution (AgiSE) method which overcomes these limitations by adaptively reusing and modifying previously generated GIPSC. In this method, an influence domain minimisation (IDM) criterion is employed to modify the existing GIPSC to fit the new (changed) user demands through minimum revisions. The correction of local modification is ensured by process and integrity constraints. An innovative algorithm called influence domain pursuit is developed to find the optimised solution through a heuristic backward search based on the defined IDM. Experimental analysis shows the significant improvements of using AgiSE in GI services compared with existing traditional methods. The benefits of AgiSE are the improved efficiency of GI service composition and the improved executing stability of GIPSC which were achieved by reducing the service provider load. The AgiSE presented in this paper is crucial in reusing a general unified framework for GI service composition. Numéro de notice : A2013-494 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1016/j.isprsjprs.2013.03.002 En ligne : https://doi.org/10.1016/j.isprsjprs.2013.03.002 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=32632
in ISPRS Journal of photogrammetry and remote sensing > vol 83 (September 2013) . - pp 165 - 183[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 081-2013091 RAB Revue Centre de documentation En réserve L003 Disponible Conflation optimized by least squares to maintain geographic shapes / Guillaume Touya in ISPRS International journal of geo-information, vol 2 n° 3 (September 2013)PermalinkGeneralized inner constraints for geodetic network densification problems / Christopher Kotsakis in Journal of geodesy, vol 87 n° 7 (July 2013)PermalinkSingle tree detection from airborne laser scanning data using a marked point process based method / Junjie Zhang in ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, vol II-3 W1 (May 2013)PermalinkA framework to model and manipulate constraints for over-constrained geographic applications / Wassim Jaziri in Geoinformatica, vol 17 n° 2 (April 2013)PermalinkDetection and 3D reconstruction of traffic signs from multiple view color images / Bahman Soheilian in ISPRS Journal of photogrammetry and remote sensing, vol 77 (March 2013)PermalinkOn weighted total least-squares with linear and quadratic constraints / Vahid Mahboub in Journal of geodesy, vol 87 n° 3 (March 2013)PermalinkGeneration and dissemination of a national virtual 3D city and landscape model for the Netherlands / Sander J. Elberink in Photogrammetric Engineering & Remote Sensing, PERS, vol 79 n° 2 (February 2013)PermalinkThe CARTACOM model : transforming cartographic features into communicating agents for cartographic generalization / Cécile Duchêne in International journal of geographical information science IJGIS, vol 26 n° 9-10 (September - october 2012)PermalinkAssessing data completeness of VGI through an automated matching procedure for linear data / T. Koukoletsos in Transactions in GIS, vol 16 n° 4 (August 2012)PermalinkTransaction rules for updating surfaces in 3D GIS / G. Groger in ISPRS Journal of photogrammetry and remote sensing, vol 69 (April 2012)PermalinkA simple and robust feature point matching algorithm based on restricted spatial order constraints for aerial image registration / Z. Liu in IEEE Transactions on geoscience and remote sensing, vol 50 n° 2 (February 2012)PermalinkPermalinkUn système d'information géographique 3D pour l'exploration des règles d'urbanisme : application à la constructibilité des bâtiments / Mickaël Brasebin in Revue internationale de géomatique, vol 21 n° 4 (décembre 2011 – février 2012)PermalinkA bundle adjustment approach with inner constraints for the scaled orthographic projection / F. Keith in ISPRS Journal of photogrammetry and remote sensing, vol 66 n° 6 (November 2011)PermalinkTopologically consistent 3D city models obtained by extrusion / Hugo Ledoux in International journal of geographical information science IJGIS, vol 25 n° 4-5 (May 2011)PermalinkUsing horizontal and vertical building structure to constrain indirect sensor orientation / Markus Gerke in ISPRS Journal of photogrammetry and remote sensing, vol 66 n° 3 (May - June 2011)PermalinkAutomatic reasoning for geometric constraints in 3D city models with uncertain observations / S. Loch-Dehbi in ISPRS Journal of photogrammetry and remote sensing, vol 66 n° 2 (March - April 2011)PermalinkPermalinkPermalinkArea aggregation in map generalisation by mixed-integer programming / Jan‐Henrik Haunert in International journal of geographical information science IJGIS, vol 24 n°11-12 (december 2010)PermalinkMulti close-range image matching based on a self-adaptive triangle constraint / Q. Zhu in Photogrammetric record, vol 25 n° 132 (December 2010 - February 2011)PermalinkAn agent-based model for optimal land allocation (AgentLA) with a contiguity constraint / Y. Chen in International journal of geographical information science IJGIS, vol 24 n°7-8 (july 2010)PermalinkOCL for formal modelling of topological modelling constraints involving regions with broad boundaries / L. Bejaoui in Geoinformatica, vol 14 n° 3 (July 2010)PermalinkAlgorithms for constrained k-nearest neighbor queries over moving object trajectories / Yunjun Gao in Geoinformatica, vol 14 n° 2 (April 2010)PermalinkCollaborative generalisation: formalisation of generalisation knowledge to orchestrate different cartographic generalisation processes / Guillaume Touya (2010)PermalinkCompromising contextual constraints and cartographic rules: application to sustainable maps / Charlotte Hoarau (2010)PermalinkFormalization and data enrichment for automated evaluation of building pattern preservation / Xiang Zhang (2010)PermalinkA method based on query caching and predicate substitution for the treatment of failing database queries / Olivier Pivert (2010)PermalinkPermalinkSimuler la densification du tissu urbain au moyen d’un processus de peuplement / Florence Curie (2010)PermalinkUn système d’information géographique 3D pour l’exploration des règles d’urbanisme / Mickaël Brasebin (2010)PermalinkWeb-based architecture for on-demand maps - integrating meaningful generalization processing / Theodor Foerster (2010)PermalinkMéthodes d'amélioration automatique des couleurs dans les cartes topographiques à la carte / Elodie Buard in Le monde des cartes, n° 202 (décembre 2009)PermalinkQualified topological relations between spatial objects with possible vague shape / L. Bejaoui in International journal of geographical information science IJGIS, vol 23 n° 7-8 (july 2009)PermalinkShape deformation in continuous map generalization / J. Danciger in Geoinformatica, vol 13 n° 2 (June 2009)PermalinkA graph cut optimization guided by 3D-features for surface height recovery / Nesrine Chehata in ISPRS Journal of photogrammetry and remote sensing, vol 64 n° 2 (March - April 2009)PermalinkModélisation de contraintes d'intégrité spatiales avec OCL / F. Pinet in Revue internationale de géomatique, vol 19 n° 1 (mars – mai 2009)PermalinkEvaluation automatique de connaissances par la théorie des fonctions de croyance [diaporama] / Patrick Taillandier (2009)PermalinkPermalinkProcesses for improving the colours of topographic maps in the context of map-on-demand / Elodie Buard (2009)PermalinkPermalinkPermalinkCombining three multi-agent based generalisation models : Agent, Cartacom and Gael / Cécile Duchêne (01/12/2008)PermalinkToward self-generalizing objects and On-the-Fly map generalization / M. Sabo in Cartographica, vol 43 n° 3 (September 2008)PermalinkPermalink