منابع مشابه
RCC - 5 and its
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework. The satis-ability problem for RCC-5 is known to be NP-complete but not much is known about its approximately four billion subclasses. We provide a complete classiication of satissability for all these subclasses into polynomial and NP-complete respectively. In the process...
متن کاملOn countable RCC models
Region Connection Calculus (RCC) is the most widely studied formalism of Qualitative Spatial Reasoning. It has been known for some time that each connected regular topological space provides an RCC model. These ‘standard’ models are inevitable uncountable and regions there cannot be represented finitely. This paper, however, draws researchers’ attention to RCC models that can be constructed fro...
متن کاملA Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants
The problem of checking the consistency of spatial calculi that contain both unknown and known entities (constants, i.e., real geometries) has recently been studied. Until now, all the approaches are theoretical and no implementation has been proposed. In this paper we present the first reasoner that takes as input RCC-5 or RCC-8 networks with variables and constants and decides their consisten...
متن کاملGuidelines in Metastatic Rcc
primary endpoint, but also the secondary endpoints that should corroborate the primary endpoint, will stand. This approach is based on the Prentice principle, which states that a result has a higher probability of being truly positive if other related endpoints are also positive 1. An advantage in progression-free survival (pfs) has more chance of being true if a statistically significant advan...
متن کاملRCC*-9 and CBM
In this paper we introduce a new logical calculus of the Region Connection Calculus (RCC) family, RCC*-9. Based on nine topological relations, RCC*-9 is an extension of RCC-8 and models topological relations between multi-type geometric features: therefore, it is a calculus that goes beyond the modeling of regions as in RCC-8, being able to deal with lower dimensional features embedded in a giv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Urology
سال: 2018
ISSN: 1759-4812,1759-4820
DOI: 10.1038/s41585-018-0069-y