Sciweavers

23704 search results - page 450 / 4741
» Data and Information as Property
Sort
View
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 11 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
LICS
1994
IEEE
15 years 11 months ago
Logical Bilattices and Inconsistent Data
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
Ofer Arieli, Arnon Avron
VLDB
1990
ACM
166views Database» more  VLDB 1990»
15 years 11 months ago
The Tree Quorum Protocol: An Efficient Approach for Managing Replicated Data
In this paper, we present an efficient algorithm for managing replicated data. We impose a logical tree structure on the set of copies of an object. In a failurefree environment t...
Divyakant Agrawal, Amr El Abbadi
EUSFLAT
2007
180views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
On Cluster Analysis Based on Fuzzy Relations Between Spatial Data
Methods like DBSCAN are widely used in the analysis of spatial data. These methods are based on the neighborhood relations which use distance between points. However, these neighb...
Efendi N. Nasibov, Gözde Ulutagay
EUSFLAT
2007
122views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Fitting ST-OWA Operators to Empirical Data
The OWA operators gained interest among researchers as they provide a continuum of aggregation operators able to cover the whole range of compensation between the minimum and the ...
Gleb Beliakov, Luigi Troiano