8 citations · 8 across the 4 of their papers we have counts for
4 papers
From Regional Topology to Point-Class Topology in Tarski's Geometry of Solids
Patrick Barlatier, Richard Dapoigny
Tarski's geometry of solids reconstructs point-like entities from concentric families of spherical regions rather than taking points as primitive. We formalize this reconstruction…
A Coq-based Axiomatization of Tarski's Mereogeometry
Patrick Barlatier, Richard Dapoigny
During the last decade, the domain of Qualitative Spatial Reasoning, has known a renewal of interest for mereogeometry, a theory that has been initiated by Tarski. Mereogeometry re…
A Topological Rewriting of Tarski's Mereogeometry
Patrick Barlatier, Richard Dapoigny
Qualitative spatial models based on Goodman-style mereology and pseudo-topology often pose problems for advanced geometric reasoning, as they lack true Euclidean geometry and fully…
Fuzzy-Based Intelligent Sensors: Modeling, Design, Application
Eric Benoit, Richard Dapoigny, Laurent Foulloy
This paper presents a modeling of intelligent sensors based on a representation of the sensor by services it uses or it proposes, and by its USer Operating Modes (USOMs). This mode…