588 search results - page 9 / 118 » Minimality Results for the Spatial Logics |
IANDC
2007
13 years 7 months ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
We investigate the implications of the conventional "t+2D" MC 3D-DWT structure for spatial scalability, and propose a more exible "2D+t+2D" structure. An initi...
LPNMR
2001
Springer
13 years 12 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
FSKD
2010
Springer
13 years 5 months ago
2010
Springer
Uncertainty is the intrinsic property of spatial data and one of important factors affecting the course of spatial data mining. There are diversiform forms for the essentiality an...
DDECS
2008
IEEE
14 years 1 months ago
2008
IEEE
: We propose a simple and fast two-level minimization algorithm for completely specified functions in this paper. The algorithm is based on processing ternary trees. A ternary tree...