685 search results - page 40 / 137 » Closure Operators for Order Structures |
CORR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion...
127
click to vote
TIME
1994
IEEE
15 years 6 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
157
click to vote
SDM
2011
SIAM
14 years 4 months ago
2011
SIAM
This paper describes one of the first attempts to model the temporal structure of massive data streams in real-time using data stream clustering. Recently, many data stream clust...
116
click to vote
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a new method for extracting roads in Very High Resolution remotely sensed images based on advanced directional morphological operators. The proposed approach i...
114
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...