Sciweavers

2299 search results - page 11 / 460
» Logical Data Expiration
Sort
View
85
Voted
DAM
1999
89views more  DAM 1999»
15 years 2 days ago
Accuracy of Techniques for the Logical Analysis of Data
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
Martin Anthony
115
Voted
PVLDB
2008
108views more  PVLDB 2008»
14 years 12 months ago
Sliding-window top-k queries on uncertain streams
Query processing on uncertain data streams has attracted a lot of attentions lately, due to the imprecise nature in the data generated from a variety of streaming applications, su...
Cheqing Jin, Ke Yi, Lei Chen 0002, Jeffrey Xu Yu, ...
107
Voted
PODS
2010
ACM
197views Database» more  PODS 2010»
15 years 19 days ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
EUSFLAT
2009
137views Fuzzy Logic» more  EUSFLAT 2009»
14 years 10 months ago
Parametric Fuzzy Modelling Framework for Complex Data-Inherent Structures
The present article dedicates itself to fuzzy modelling of data
Arne-Jens Hempel, Steffen F. Bocklisch
146
Voted
AMAST
2006
Springer
15 years 4 months ago
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
Susumu Nishimura