Sciweavers

11017 search results - page 7 / 2204
» Closure Systems and their Structure
Sort
View
ACS
2010
13 years 7 months ago
Lawvere Completion and Separation Via Closure
For a quantale V, first a closure-theoretic approach to completeness and separation in V-categories is presented. This approach is then generalized to T-categories, where T is a to...
Dirk Hofmann, Walter Tholen
DAGSTUHL
2006
13 years 9 months ago
Closure and Causality
We present a model of causality which is defined by the intersection of two distinct closure systems, I and T . To present empirical evidence to demonstrate that this model has pra...
John L. Pfaltz
ICEIS
2003
IEEE
14 years 1 months ago
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
B. Nick Rossiter, David A. Nelson, Michael A. Heat...
PKDD
2009
Springer
95views Data Mining» more  PKDD 2009»
14 years 2 months ago
Non-redundant Subgroup Discovery Using a Closure System
Subgroup discovery is a local pattern discovery task, in which descriptions of subpopulations of a database are evaluated against some quality function. As standard quality functio...
Mario Boley, Henrik Grosskreutz
IDEAS
1998
IEEE
112views Database» more  IDEAS 1998»
14 years 8 hour ago
Transitive Dependencies in Transaction Closures
Complex applications consist of a large set of transactions which are interrelated. There are different kinds of dependencies among transactions of a complex application, e.g. ter...
Kerstin Schwarz, Can Türker, Gunter Saake