526 search results - page 50 / 106 » Representations of structural closure operators |
ISCIS
2009
Springer
15 years 6 months ago
2009
Springer
—In this work, we make use of 3D visual contours carrying geometric as well as appearance information. Between these contours, we define 3D relations that encode structural info...
ER
2007
Springer
15 years 6 months ago
2007
Springer
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Although there are many efficient algorithms for calculating the simulation preorder on finite Kripke structures, only two have been proposed of which the space complexity is of t...
103
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...
106
click to vote
BIS
2009
15 years 29 days ago
2009
The field of Semantic Business Process Management (SBPM) has refuelled interest in using ontologies for the representation of the static and dynamic aspects of an enterprise and va...