Enhancing accuracy and expressive power of range query answers over incomplete spatial databases via a novel reasoning approach

2011 ◽  
Vol 70 (8) ◽  
pp. 702-716 ◽  
Author(s):  
Alfredo Cuzzocrea ◽  
Andrea Nucita
2016 ◽  
Vol 2016 ◽  
pp. 1-12
Author(s):  
Yongshan Liu ◽  
Dehan Kong

Present research of visible query focuses on points and segments in two-dimensional space, while disfigurements occur during processing of visible query in three-dimensional space. In this paper, Continuous Visible Range Query Based on Control Point (CVRQ-CP) is proposed to solve the visible query in a 3D spatial database. Firstly, the horizontal angle (HA) and Vertical Projection Angle (VPA) for 3D objects in a spatial database were used in the visibility testing method. The HA and VPA in the processing of the continuous visible query created visibility changes, defining and confirming the control point. Finally, the algorithm of Continuous Visible Range Query Based on Control Point (CVRQ-CP) was proposed. Verified by experiments, the CVRQ-CP algorithm correctly deals with the visible query of 3D spatial objects. The CVRQ-CP algorithm has better superior accuracy over present visible queries in 3D spatial databases.


Author(s):  
Michael L. Zientek ◽  
Pamela D. Derkey ◽  
Robert J. Miller ◽  
J. Douglas Causey ◽  
Arthur A. Bookstrom ◽  
...  

Author(s):  
David J. Lobina

The introduction of recursion into linguistics was the result of applying some of the results of mathematical logic to the study of language. In particular, recursion was introduced in the 1950s as a general property of the mechanical procedure underlying the grammar, in order to account for language’s discrete infinity and expressive power—in the 1950s, this mechanical procedure was a production system, whereas more recently, of course, it is the set-operator merge. Unfortunately, the recent literature has confused the general recursive property of a grammar with specific instances of (recursive) rules/operations within a grammar; more worryingly still, there has been a general conflation of these recursive rules with some of the self-embedded structures these rules can generate, adding to the confusion. The conflation is manifold but always fallacious. Moreover, language manifests a much more generally recursive structure than is usually recognized: bundles of the universal (Specifier)-Head-Complement(s) geometry.


Author(s):  
M Pourmahdian ◽  
R Zoghifard

Abstract This paper provides some model-theoretic analysis for probability (modal) logic ($PL$). It is known that this logic does not enjoy the compactness property. However, by passing into the sublogic of $PL$, namely basic probability logic ($BPL$), it is shown that this logic satisfies the compactness property. Furthermore, by drawing some special attention to some essential model-theoretic properties of $PL$, a version of Lindström characterization theorem is investigated. In fact, it is verified that probability logic has the maximal expressive power among those abstract logics extending $PL$ and satisfying both the filtration and disjoint unions properties. Finally, by alternating the semantics to the finitely additive probability models ($\mathcal{F}\mathcal{P}\mathcal{M}$) and introducing positive sublogic of $PL$ including $BPL$, it is proved that this sublogic possesses the compactness property with respect to $\mathcal{F}\mathcal{P}\mathcal{M}$.


Sign in / Sign up

Export Citation Format

Share Document