Descripteur
Documents disponibles dans cette catégorie (134)
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
Logique sans peine / L. Carroll (1992)
Titre : Logique sans peine Type de document : Monographie Auteurs : L. Carroll, Auteur Editeur : Paris : Hermann Année de publication : 1992 Collection : L'esprit et la main Importance : 288 p. Format : 21 x 30 cm ISBN/ISSN/EAN : 978-2-7056-5544-0 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Mathématique
[Termes IGN] logiqueNuméro de notice : 62533 Affiliation des auteurs : non IGN Thématique : MATHEMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=61083 Réservation
Réserver ce documentExemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 62533-02 23.00 Livre Centre de documentation Mathématiques Disponible 62533-01 DEP-PGSA Livre Saint-Mandé Dépôt en unité Exclu du prêt SDH 1992, 5th international symposium on spatial data handling, Vol 2. Proceedings SDH 1992, IGU Commission on GIS, August 3-7, 1992, Charleston, South Carolina, USA / P. Bresnahan (1992)
Titre de série : SDH 1992, 5th international symposium on spatial data handling, Vol 2 Titre : Proceedings SDH 1992, IGU Commission on GIS, August 3-7, 1992, Charleston, South Carolina, USA Type de document : Actes de congrès Auteurs : P. Bresnahan, Éditeur scientifique ; E. Corwin, Éditeur scientifique ; D. Cowen, Éditeur scientifique Editeur : Delhi, Washington, Delft... : International Geographical Union IGU Année de publication : 1992 Conférence : SDH 1992, 5th international symposium on Spatial Data Handling 03/08/1992 07/08/1992 Charleston Caroline du Sud - Etats-Unis Importance : 355 p. Format : 14 x 21 cm ISBN/ISSN/EAN : 0-9633532-5 Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées
[Termes IGN] analyse spatiale
[Termes IGN] données localisées
[Termes IGN] logique floue
[Termes IGN] modèle orienté objet
[Termes IGN] traitement de données localiséesIndex. décimale : CG1992 Actes de congrès en 1992 Note de contenu : KNOWLEDGEBASED APPROACHES
- An Application of AI to Computing Class Partition Values for Thematic Maps by Roger Cooley and M. Hobbs
- Analysis of Vegetation Succession within an Expert System by David Miller
- An Intelligent Interface for Application of Graphic Elements by Ze-shen Wang
COMPUTATIONAL GEOMETRY AND ALGORITHMS
- Lessons for the Design of Polygon Overlay Processing from the ODYSSEY WHIRLPOOL Algorithm by Nick Chrisman, I.A. Dougenik and D. White
- A Contour Line Based Triangulating Algorithm by Antonio Bello Garcia, C.G. Nicieza, J. B. Ordieres Mere and A.M. Diaz
- Collinearity Constraints on Spatial Subdivision Algorithms with Finite Precision Arithmetic by Maharaj Mukherjee and G. Nagy
SPATIAL DECISION SUPPORT SYSTEMS
- Support in Spatial Information Systems for Unstructured Problem-Solving by David J. Abel, S.K. Yap, G. Walker, M.A. Cameron and R.G. Ackland
- Spatial Analysis of Wildlife Distribution and Habitat in a GIS by Richard Aspinall
- Interactive GIS for Environmental Decision Support by Steve P. Frysinger
FUZZY DATA HANDLING
- Handling Positional Uncertainty in Spatial Databases by Geoffrey Dutton
- Knowledge-Supported Generation of Meta-Information on Handling Crisp and Fuzzy Datasets by Rob M. Hootsmans, W. M. DeJong and F. J. M. van der Wel
- Visualization of Fuzzy Scenes and Probability Fields by Yee Leung, M. Goodchild and C.-C. Lin
DATA CONVERSION
- RealTime Randomization for the Visualization of Uncertain Spatial Information by Peter F. Fisher
- An Objectbased Dynamic Spatial Model, and its Application in the Development of a UserFriendly Digitizing System by Christopher Gold
- Large Scale Editing and Vector to Raster Conversion Via Quadtree Spatial Indexing by Cliff Shaffer and M. T. Ursekar
SPATIAL ANALYSIS AND MODELS
- Methodology of Integrating Spatial Analysis/Modeling and GIS by H.C. Chou and Y. Ding
- Spatial Models for Environmental Modeling with GIS by Karen K. Kemp
- Coupling GIS and Spatial Analytic Models by Timothy L. Nyerges
DIGITAL TERRAIN ANALYSIS 1
- Constructing Geological Cross Sections with a Chronology of Geologic Events by Douglas Flewelling, A. U. Frank and M. J. Egenhofer
- Automatic Extraction of Specific Geomorphological Elements from Contours by Liang Tang
- Hydrologic Applications of Weighted Surface Networks by Gert W. Wolf
TEMPORAL MODELS
- The Fundamentals of a Topological Model for A FourDimensional GIS by Simon Pigot and B. Hazelton
- Towards a LogicBased Language for Modeling and Database Support in SpatioTemporal Domains by Terry Smith
- A Model for SpatioTemporal Information by Mike Worboys
DIGITAL TERRAIN ANALYSIS 2
- Multiscale Spatial Modelling with Triangulated Surfaces by Christopher B. Jones, J. M. Ware and G. L. Bundy
- Visibility Dominance and Topographic Features on Digital Elevation Models by Jay Lee
- Parallel Terrain Triangulation by Enrico Puppo, L. Davis, D. DeMenthon and Y. A. Teng
OBJECT ORIENTED
- The Sequoia 2000 Approach to Managing Large Spatial Object Databases by Stephen C. Guptill and M. Stonebraker
- Handling Complex Objects in GeoRelational GIS by David Maguire, G. Stickler and G. Browning
- ObjectOriented Spatial Knowledge Representation and Processing : Formalization of Core Classes and Their Relationships by Feibing Zhan and D. Mark
NETWORK PROCESSING
- Computing a LineofSight Network on a Terrain Model by Leila De Floriani, G. Nagy and E. Puppo
- Parallel Processing for Network Analysis : Decomposing Shortest Path Algorithms for MIMD Computers by Yuemin Ding, Paul J. Densham and Marc P. Armstrong
- A Representational Framework for Route Planning in Space and Time by Steve Srnyth
SPATIAL ANALYSIS AND SIMULATION
- Spatial Dynamic Simulations Using Discrete Time and Discrete Event Theory in Cell Based GIS Systems by Robert M. Itami and J. D. Clark
- Splancs : Spatial Point Pattern Analysis in SPlus by Barry Rowlingson and Peter DiggleNuméro de notice : 22238B Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Actes DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=34971 Voir aussiRéservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 22238-01B CG.92 Livre Centre de documentation En réserve M-103 Disponible Temporal reasoning in cadastral systems / Khaled Al-Taha (1992)
Titre : Temporal reasoning in cadastral systems Titre original : [Raisonnement temporel dans les systèmes cadastraux] Type de document : Thèse/HDR Auteurs : Khaled Al-Taha, Auteur Editeur : Maine [Etats-Unis] : University of Maine Année de publication : 1992 Importance : 211 p. Format : 21 x 30 cm Note générale : Bibliographie
Philosophy Doctorate Dissertation, Department of Surveying EngineeringLangues : Anglais (eng) Descripteur : [Vedettes matières IGN] Cadastre numérique
[Termes IGN] base de connaissances
[Termes IGN] base de données foncières
[Termes IGN] base de données temporelles
[Termes IGN] cadastre
[Termes IGN] enregistrement immobilier
[Termes IGN] logique modale
[Termes IGN] prototype
[Termes IGN] raisonnement temporel
[Termes IGN] relation topologique
[Termes IGN] système d'information géographiqueIndex. décimale : THESE Thèses et HDR Résumé : (auteur) Recently, temporal reasoning is getting more attention in GIS. From 1985 until the present, the number of research groups working on temporal GIS has noticeably increased. Yet, much research must still be done before temporal GIS become available. Information systems have to consider temporal data to answer queries that could not be answered otherwise, such as: "Which town had the greatest increase in population last year?" We believe that a detailed case study was necessary to determine the actual-reasoning structures and requirements in temporal GIS. Cadastral systems provide us with such an example. A cadastral system must include temporal data to answer queries as: "Who owned this house in 1988?" The goal of this thesis is to understand the reasoning powers in traditional cadastral systems better. We are studying the process of recording and inferring about rights in traditional cadastral systems to obtain the underlying logic-base. Once we understand how the reasoning is done in such systems, we can formalize their conceptual entities and operations. Temporal reasoning is necessary for knowledge-based cadastral systems that will make assertions and inferences to assist users in making their decisions more easily and reliably. To achieve this goal, we need to gain a clear understanding of the temporal aspects, rules and operations used in the reasoning about cadastral records. The objectives for achieving this goal are (1) to study and analyze the needed expressive power for temporal data in cadastral systems; (2) to identify and formalize the conceptual entities of a cadastral system; (3) to formalize, with a temporal logic, procedures for an intelligent search and to make inferences about temporal events in these systems; and (4) to prove the correctness of the concept by implementing a prototype. The major contribution of this study is to provide the different temporal reasoning powers in cadastral systems, to provide a formal description of the legal and topological reasoning in them, and to provide us with the temporal logic that is necessary for it. Note de contenu : 1. Introduction
1.1. GIS and Dynamic World
1.2. Thesis goal
1.3. approach
1.4. Thesis contribution
2. Temporal reasoning models and temporal databases
2.1. Introduction
2.2. Issues in temporal reasoning
2.3. Temporal reasoning models
2.4. Temporal databases
2.5. Related work on temporal GIS
2.6. Summary
3.Temporal issues in cadastral systems
3.1. Introduction
3.2. Review of cadastral systems
3.3. Changes in a cadatre
3.4. Sample queries and reasoning examples
3.5. Summary
4. Temporal representation in cadatral system
4.1. Introduction
4.2. Time perspectives
4.3. Time primitives and time duration
4.4. Actions and their temporal effects
4.5. Summary
5. A temporal logic for deed-recording systems
5.1. Introduction
5.2. Predicate calculus (First-Order Logic)
5.3. A temporal reasoning model for deed-recording cadastral systems
5.4. Deed recording systems
5.5. Temporal reasoning examples
5.6. Summary
6. A knowledge-based temporal cadatral system
6.1. Introduction
6.2. Review of conceptual-Design models
6.3. Conceptual entities in the deed-recording cadastral system
6.4. Conceptual design of the deed recording cadastral system
6.5. Abstract representations of cadastral data-types
6.6. Summary
7. Pilot-Implementation
7.1. Introduction
7.2. Prototype
7.3. User interface
7.4. Reasoning abbout real estate records
7.5. Implementation issues for real data
7.6. Summary
8. Conclusions and Recommandations
8.1. Introduction
8.2. Summary of Thesis work
8.3. Results and major findings
8.4. Recommendations for future work
8.5. Open questionsNuméro de notice : 61697 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Thèse étrangère Note de thèse : PhD dissertation : Ingénierie géomatique : Maine : 1992 Organisme de stage : Department of Surveying Engineering Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=45865 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 61697-01 THESE Livre Centre de documentation Thèses Disponible Interprétation automatique d'images satellite / Jacky Desachy (1991)
Titre : Interprétation automatique d'images satellite : le système Icare Type de document : Thèse/HDR Auteurs : Jacky Desachy, Auteur ; S. Castan, Directeur de thèse Editeur : Toulouse : Université de Toulouse 3 Paul Sabatier Année de publication : 1991 Importance : 275 p. Format : 21 x 30 cm Note générale : Bibliographie
Thèse présentée en vue de l'obtention du grade de docteur d'état sciences, spécialité informatiqueLangues : Français (fre) Descripteur : [Vedettes matières IGN] Traitement d'image
[Termes IGN] base de connaissances
[Termes IGN] classification dirigée
[Termes IGN] données exogènes
[Termes IGN] image satellite
[Termes IGN] incertitude des données
[Termes IGN] logique floue
[Termes IGN] photo-interprétation assistée par ordinateur
[Termes IGN] système expert flou
[Termes IGN] texture d'imageIndex. décimale : THESE Thèses et HDR Résumé : (Auteur) Le but du système ICARE est d'améliorer les classifications supervisées usuelles utilisées pour produire des cartes à partir des images satellite. Nous proposons pour cela d'utiliser des informations exogènes (information géocodée disponible) et les connaissances de l'expert sur les caractéristiques de la région étudiée dans un système expert. Le processus déductif va alors raisonner sur l'image en utilisant les connaissance des caractéristiques de contexte des classes cherchées et les données exogènes. Celles-ci peuvent être extraites de l'image elle-même si nécessaire (routes, zones urbaines, ...). Les connaissances de l'expert sont mémorisées dans une base de connaissances sous forme de règles de production avec des facteurs de certitude. Cette connaissance peut être intégrée à l'aide d'un langage naturel dans le cas particulier de connaissance normalisée (exprimée à l'aide de mot-clés connus du système) par un compilateur de règles. Les données exogènes les plus courantes peuvent être la topographie (modèle numérique de terrain) et les données dérivées (réseau de vallées, orientation, ensoleillement, ...), la carte des sols, des routes, des zones urbaines, ... Le système réalise la suite d'opérations suivantes : 1- une classification surpervisée est appliquée (incluant une mesure de texture basée sur les matrices de cooccurences) qui donne pour chaque pixel (x,y) son degré d'appartenance CFi(x,y) à chaque classe i recherchée. 2- A l'aide des données exogènes, le contexte de chaque pixel est calculé à l'aide de la logique floue (altitude, ensoleillement, orientation, distance à une route, zone irrigable, ...) et en activant toutes les règles de production, les degrés d'appartenance CFi(x,y) sont mis à jour (augmentés si le contexte du pixel est favorable à la présence de la classe i). Le système ICARE peut d'autre part être utilisé en résolveur de problèmes, si les données concernées se trouvent dans une base de données géographiques et si la solution peut prendre la forme d'une carte de priorités. Numéro de notice : 45155 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Thèse française Note de thèse : Thèse de doctorat : informatique : Toulouse 3 : 1991 Organisme de stage : Institut de recherche en Informatique de Toulouse nature-HAL : Thèse DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=45578 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 45155-01 THESE Livre Centre de documentation Thèses Disponible Les 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)Voir aussi
- Les 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)
- Les systèmes experts et leurs applications, Neuvièmes journées internationales, Avignon, 29 mai - 2 juin 1989, Volume 5. Conférence spécialisée Intelligence artificielle télécomunications et informatique / Roger Attard (1990)
- Les systèmes experts et leurs applications, Neuvièmes journées internationales, Avignon, 29 mai - 2 juin 1989, volume 4. Conférence spécialisée Intellligence artificielle et défense / Jean-Pierre Crestin (1990)
Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 17203-01A CG1989 Livre Centre de documentation En réserve M-103 Disponible Les 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)PermalinkRFIA 1989, Reconnaissance des formes et Intelligence Artificielle, 7ème Congrès RFIA, 29 novembre - 1er décembre 1989, tome 2. Actes / Association française pour la cybernétique économique et technique (1989)PermalinkRFIA 1989, Reconnaissance des formes et Intelligence Artificielle, 7ème Congrès RFIA, 29 novembre - 1er décembre 1989, tome 3. Actes / Association française pour la cybernétique économique et technique (1989)PermalinkStructure interne des ordinateurs / Jean-Yves Priou (1989)PermalinkLogique et language / F. Nef (1988)PermalinkDescription et interprétation des images par la morphologie mathématique / Françoise Preteux (1987)PermalinkNouvelles logiques pour l'intelligence artificielle / A. Kaufmann (1987)PermalinkExercices avec solutions sur la théorie des sous-ensembles flous / A. Kaufmann (1975)PermalinkIntroduction à la théorie des sous-ensembles flous, 2. Tome 2, Applications à la linguistique, à la logique et à la sémantique / A. Kaufmann (1975)PermalinkIntroduction à la théorie des sous-ensembles flous, 1. Tome 1, Eléments théoriques de base / A. Kaufmann (1973)Permalink