Sciweavers

23704 search results - page 78 / 4741
» Data and Information as Property
Sort
View
FLAIRS
2003
15 years 7 months ago
Logical Identities Applied to Knowledge Discovery in Databases
Data mining is the process of extracting implicit, previously unknown, and potentially useful information from data in databases. It is widely recognized as a useful tool for deci...
James P. Buckley, Jennifer Seitzer, Yongzhi Zhang,...
CAV
2004
Springer
101views Hardware» more  CAV 2004»
15 years 11 months ago
Symbolic Model Checking of Non-regular Properties
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
Martin Lange
TFS
2008
94views more  TFS 2008»
15 years 6 months ago
An Empirical Study of Statistical Properties of the Choquet and Sugeno Integrals
This paper investigates the statistical properties of the Choquet and Sugeno integrals, used as multiattribute models. The investigation is done on an empirical basis, and focuses...
Michel Grabisch, Eric Raufaste
EUSFLAT
2009
131views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Preservation of Properties of Interval-Valued Fuzzy Relations
The goal of this paper is to consider properties of the composition of interval-valued fuzzy relations which were introduced by L.A. Zadeh in 1975. Fuzzy set theory turned out to b...
Barbara Pekala
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...