Descripteur
Termes IGN > informatique > génie logiciel > programmation informatique > programmation par contraintes
programmation par contraintesSynonyme(s)PpcVoir aussi |
Documents disponibles dans cette catégorie (144)
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
[bases de données spatiales et objets mobiles] / Philippe Rigaux (2002)
Titre : [bases de données spatiales et objets mobiles] : Habilitation à diriger des recherches Type de document : Thèse/HDR Auteurs : Philippe Rigaux, Auteur Editeur : Paris-Orsay : Université de Paris 11 Paris-Sud Centre d'Orsay Année de publication : 2002 Importance : 78 p. Format : 21 x 30 cm Note générale : Bibliographie
Habilitation à diriger des recherchesLangues : Français (fre) Descripteur : [Vedettes matières IGN] Bases de données localisées
[Termes IGN] base de données localisées
[Termes IGN] données localisées
[Termes IGN] langage de requête
[Termes IGN] modèle numérique de terrain
[Termes IGN] modélisation
[Termes IGN] objet géographique
[Termes IGN] objet mobile
[Termes IGN] programmation par contraintes
[Termes IGN] requête spatiale
[Termes IGN] système d'information géographique
[Termes IGN] système de gestion de base de données
[Termes IGN] système de gestion de bases de données orientées objetIndex. décimale : THESE Thèses et HDR Note de contenu : 1. Introduction
2. Bases de données spatiales
3. Modélisation avec contraintes : le système DEDALE
4. Objets mobiles
5. Évaluation de requêtes spatiales
6. Perspectives de rechercheNuméro de notice : 19342 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : HDR Note de thèse : Mémoire de HDR : Géomatique : Paris 11 : 2002 Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=81940 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 19342-01 THESE Livre Centre de documentation Thèses Disponible ECAI 2002, 15th European Conference on Artificial Intelligence, July 21-26, Lyon, France / Frank Van Harmelen (2002)
Titre : ECAI 2002, 15th European Conference on Artificial Intelligence, July 21-26, Lyon, France : proceedings including Prestigious applications of intelligent systems (PAIS 2002) Type de document : Actes de congrès Auteurs : Frank Van Harmelen, Éditeur scientifique Editeur : Oxford, Amsterdam, ... : IOS Press Année de publication : 2002 Conférence : ECAI 2002, 15th European Conference on Artificial Intelligence 21/07/2002 26/07/2002 Lyon France Proceedings ACM Importance : 750 p. Format : 21 x 30 cm Accompagnement : support CD ISBN/ISSN/EAN : 978-1-58603-257-9 Note générale : Le cédérom contient les communications de ECAI 2000 et de ECAI 2002 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Intelligence artificielle
[Termes IGN] acquisition de connaissances
[Termes IGN] algorithme génétique
[Termes IGN] apprentissage automatique
[Termes IGN] incertitude des données
[Termes IGN] programmation par contraintes
[Termes IGN] raisonnement
[Termes IGN] représentation des connaissances
[Termes IGN] réseau neuronal artificiel
[Termes IGN] robotique
[Termes IGN] système multi-agents
[Termes IGN] traitement du langage naturelNuméro de notice : 19763 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Actes Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=84594 Voir aussiRéservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 19763-01 CG2002 Livre Centre de documentation Congrès Disponible Généralisation et représentation multiple, ch. 4. Les problématiques de l'automatisation de la généralisation / Anne Ruas (2002)
Titre de série : Généralisation et représentation multiple, ch. 4 Titre : Les problématiques de l'automatisation de la généralisation Type de document : Chapitre/Contribution Auteurs : Anne Ruas , Auteur Editeur : Paris : Hermès Année de publication : 2002 Importance : pp 75 - 90 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Termes IGN] généralisation automatique de données
[Termes IGN] lisibilité perceptive
[Termes IGN] programmation par contraintes
[Vedettes matières IGN] GénéralisationNuméro de notice : H2002-004 Affiliation des auteurs : COGIT (1988-2011) Thématique : GEOMATIQUE/INFORMATIQUE Nature : Chapître / contribution Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=65885 A review of algebraic constraints in terrestrial reference frame datum definition / Patrick Sillard in Journal of geodesy, vol 75 n° 2-3 (May 2001)
[article]
Titre : A review of algebraic constraints in terrestrial reference frame datum definition Type de document : Article/Communication Auteurs : Patrick Sillard , Auteur ; Claude Boucher , Auteur Année de publication : 2001 Article en page(s) : pp 63 - 73 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Systèmes de référence et réseaux
[Termes IGN] contrainte d'intégrité
[Termes IGN] coordonnées géographiques
[Termes IGN] géodésie spatiale
[Termes IGN] International Terrestrial Reference System
[Termes IGN] station de réception
[Termes IGN] système de référence géodésiqueRésumé : (Auteur) Station coordinates are combined with velocities estimated by space geodesy techniques to produce the International Terrestrial Reference System. The input is sets of coordinates and velocities calculated by International Earth Rotation Service analysis centers using space geodesy techniques. The working reference system of individual analysis centers is generally conventionally defined. However, the implications of such processing can have an effect on the resulting combined set. The problem of datum definition as a function of coordinate combinations is reviewed. In particular, the problem of minimum constraints is clearly emphasized and the reference system effect is defined. The goal is to build a process that could be used generally to remove uncertainties in the underlying coordinate system without disturbing the underlying information with additional unnecessary information. Numéro de notice : A2001-223 Affiliation des auteurs : IGN+Ext (2012-2019) Thématique : POSITIONNEMENT Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1007/s001900100166 En ligne : https://doi.org/10.1007/s001900100166 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=26408
in Journal of geodesy > vol 75 n° 2-3 (May 2001) . - pp 63 - 73[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 266-01051 RAB Revue Centre de documentation En réserve L003 Disponible An optimisation approach to cartographic generalisation / Lars Harrie (2001)
Titre : An optimisation approach to cartographic generalisation : doctoral thesis Type de document : Thèse/HDR Auteurs : Lars Harrie, Auteur Editeur : Lund [Suède] : Lund University Année de publication : 2001 Importance : 196 p. Format : 16 x 23 cm ISBN/ISSN/EAN : 978-91-628-4652-7 Note générale : bibliographie
Doctoral thesisLangues : Français (fre) Descripteur : [Termes IGN] base de données orientée objet
[Termes IGN] contrainte de cohérence
[Termes IGN] contrainte géométrique
[Termes IGN] généralisation cartographique
[Termes IGN] généralisation cartographique automatisée
[Termes IGN] méthode des moindres carrés
[Termes IGN] mise à jour de base de données
[Termes IGN] optimisation (mathématiques)
[Termes IGN] programmation par contraintes
[Termes IGN] représentation multiple
[Vedettes matières IGN] GénéralisationIndex. décimale : 37.70 Généralisation Résumé : (auteur) Cartographic generalisation is the process of simplifying a representation to suit the scale and purpose of a map. As such, generalisation has always been a central part in map production. This thesis is a contribution to the ongoing work on automating cartographic generalisation. Two topics are treated: optimisation methods in graphic generalisation, and propagation of updates between cartographic data sets of different scales. To enable an optimisation approach to graphic generalisation several topics are studied. Firstly, requirements are stated for defining a good map. These requirements can act as constraints and control the graphic generalisation process. In this thesis, ten analytical constraints for graphic generalisation are proposed, some for single objects and some for groups of objects. Rules are also established regarding when these constraints should be set up. Secondly, the least-squares method is studied as an approach to finding the optimal solution according to the constraints. Related to this, weighting strategies for the constraints are also discussed. Thirdly, computationally efficient methods are tested, which are especially important for establishing spatial relationships between objects and solving the large normal equation systems. Finally, the optimisation approach has been evaluated visually and quantitatively in mid-scale applications. Mapping organisations have to maintain cartographic data sets of different scales (resolutions). Ideally, mapping organisations should only be concerned with updating the most detailed data set and the updates should automatically be propagated to all other data sets. In this study, a prototype system was created for automatic propagation of updates. This system is integrated in an object-oriented map production software, in which the data sets are stored in a multiple representation database. The rules implemented in the prototype system were gathered from data set specifications and by studying printed map series. The propagation of updates performed by the prototype system was compared with manual propagation performed by a cartographer. Note de contenu : 1- Introduction
2- Cartographic generalisation concepts
3- Spatial concepts
4- Review of generalisation research
5- Summary of the papersNuméro de notice : 17192 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Thèse étrangère Note de thèse : Doctoral thesis : Surveying : Lund University : 2001 Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=81159 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 17192-01 37.70 Livre Centre de documentation Géomatique Disponible Modèle de généralisation de données géographiques à base de contraintes et d'autonomie / Anne Ruas (1999)PermalinkAnalyse automatique d'images aériennes stéréoscopiques pour la restitution 3D des milieux urbains / Olivier Dissard in Bulletin [Société Française de Photogrammétrie et Télédétection], n° 149 (Janvier 1998)PermalinkGeneralisation methods for propagating updates between cartographic data sets / Lars Harrie (1998)PermalinkOO-contrainst modelling to automate urban generalisation process / Anne Ruas (1998)PermalinkSDH 98 Proceedings, 8th international symposium on spatial data handling, Vancouver, July 11 - 15, 1998 / Thomas K. Poiker (1998)PermalinkA taxonomy of spatial data integrity constraints / Sophie Cockcroft in The information science Discussion paper series, vol 97 n° 5 (01/05/1997)PermalinkTendances nouvelles en modélisation pour l'environnement / François Blasco (1997)PermalinkSuper-résolution en vision par ordinateur / Hassan Shekarforoush (1996)PermalinkSpatial coincidence modelling, automated database updating and data consistency in vector GIS / O. Kufoniyi (1995)PermalinkLes bases de données relationnelles / Imad Saleh (1994)PermalinkEstimation, modélisation et langage de déclaration et de manipulation de champs spatiaux continus / Dillon Pariente (1994)PermalinkPermalinkBases de données spatiales, Beaune, France, 5 - 6 novembre 1993 / Robert Laurini (1993)PermalinkIJCAI-93, proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambéry, Savoie, France, 28 August - 3 September 1993, 1. Proceedings / Ruzena Bajcsy (1993)PermalinkNeuvièmes Journées Bases de Données Avancées / François Bry (1993)PermalinkLes systèmes experts et leurs applications, Neuvièmes journées internationales, Avignon, 29 mai - 2 juin 1989, Volume 1. Conférence générale / Jean-Claude Rault (1990)PermalinkLes systèmes experts et leurs applications, Neuvièmes journées internationales, Avignon, 29 mai - 2 juin 1989, Volume 2. Conférence générale / Jean-Claude Rault (1990)PermalinkInteraktion mit raumbezogenen Informationssystemen vom Konstruiren zum Editieren geometrischer Modelle / Werner Kuhn (1989)PermalinkMéthode dynamique de recherche de points de contrôle pour le recalage de deux images / Agnès Anglade (1987)Permalink